Module Cfg_invariants

Invariants checking for Cfg.

val run : Format.formatter -> Cfg_with_layout.t -> bool