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