let merge b1 b2 = let b = match b1, b2 with | Start, _ | _, Start -> Start | NotSeen, b | b, NotSeen -> b | Modif, _ | _, Modif -> Modif | SameVal, SameVal -> SameVal in b