Module Cmm_peephole_engine.Cmm_comparator

Check equivalence of Cmm terms for the purpose of checking that the engine produces terms equivalent to the ones produced by the original code.