Cfg_invariants
Invariants checking for Cfg.
val run : Stdlib.Format.formatter -> Cfg_with_layout.t -> bool