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