let combinePredecessors (s: stmt) ~old new_ = let new_c = computeFirstPredecessor s new_ in let result = join new_c old in if is_included result old then None else Some result