let combinePredecessors stmt ~old new_ = let new_ = DomSet.add stmt new_ in let set = DomSet.inter old new_ in if DomSet.equal set old then None else Some set