Fix variable ordering problem

Author: saulshanabrook

python/egg_smol/examples/lambda.py

@@ -194,7 +194,11 @@ def assert_simplifies(left: BaseExpr, right: BaseExpr) -> None:
 # lambda if elim
 a = Term.var(Var("a"))
 b = Term.var(Var("b"))
-assert_simplifies(if_(a == b, a + a, a + b), b + a)
+with egraph:
+    e1 = egraph.define("e1", if_(a == b, a + a, a + b))
+    egraph.run(10)
+    egraph.check(eq(e1).to(a + b))
+
 # lambda let simple
 x = Var("x")
 y = Var("y")