let combineStmtStartData _stmt ~old new_ = let result = (* inter old *) new_ in if DomSet.equal result old then None else Some result