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