Added eval -brute_force_equiv_checker_x mode