Updated framework for Mutation equivalence check. Slight changes to RE_EquivalenceChecker too, because of performance.