Module Simplify_terminator

Merge successors that go to the same label and simplify their conditions. Modifies the terminators in place. Does not merge blocks.

val block : Cfg.t -> Cfg.basic_block -> bool
val run : Cfg.t -> unit