def solve_equivalence(expr, vars): children = iter(expr.children) first_value = solve(next(children), vars).value for child in children: if not repeated.value_eq(solve(child, vars).value, first_value): return Result(False, ()) return Result(True, ())
def assertValueEq(self, x, y): return self.assertTrue(repeated.value_eq(x, y))