RE_Equivalencechecker alogorithm