let combineStmtStartData _stmt ~old new_ =
(* No need to compute the intersection: the results can only decrease
(except on Top, but Top \inter Set = Set *)
let result = (* DomSet.inter old *) new_ in
if DomSet.equal result old then None else Some result