let pretty fmt b = Format.fprintf fmt "%s" (match b with
| Start -> "Start"
| NotSeen -> "NotSeen"
| Modif -> "Modif"
| SameVal -> "SameVal")