pyk/tests/test_subst: update expected test output

Author: ehildenb

pyk/src/tests/unit/kast/test_subst.py

@@ -113,8 +113,8 @@ def test_unapply(term: KInner, subst: dict[str, KInner], expected: KInner) -> No
     (a, {}, a),
     (mlEquals(a, b, arg_sort=INT), {}, mlEquals(a, b, arg_sort=INT)),
     (mlEquals(x, a, arg_sort=INT), {'x': a}, mlTop()),
-    (mlEquals(x, _0, arg_sort=INT), {}, mlEquals(x, _0, arg_sort=INT)),
-    (mlEquals(x, y, arg_sort=INT), {}, mlEquals(x, y, arg_sort=INT)),
+    (mlEquals(x, _0, arg_sort=INT), {'x': _0}, mlTop()),
+    (mlEquals(x, y, arg_sort=INT), {'x': y}, mlTop()),
     (mlAnd([mlEquals(a, b, arg_sort=INT), mlEquals(x, a, arg_sort=INT)]), {'x': a}, mlEquals(a, b, arg_sort=INT)),
     (mlEqualsTrue(_EQ(a, b)), {}, mlEqualsTrue(_EQ(a, b))),
     (mlEqualsTrue(_EQ(x, a)), {'x': a}, mlTop()),