Module Cmm_invariants

val run : Format.formatter -> Cmm.fundecl -> bool