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