- f(a, g(h(a, h(b)))) =^= f(a, a, h(g(b)))
- f(g(a,a), a, X, b) =^= f(g(b,b), g(Y), b)
- f(h(c,a,c,a), a, a) =^= f(g(c,b,c,a), b, b)
- f(x), f(f(g(a,a)), a, a) =^= x, f(g(b,b), b, b)
- f(x), f(f(g(a,a)), a, a) =^= x, f(g(b,a), a, b)
- f(x), f(h(f(c,a)), a, c) =^= x, f(g(b,a), a, b)
- (f(a), f(a)) =^= (f(a), f)
-
if(geq(x1, x2), then(eq(x3, add(x4, x2)), eq(x4, add(x4, 1))), else(eq(x3, sub(x4, x1)))) =^=
if(geq(y1, y2), then(eq(y3, add(y4, y2)), eq(y5, 1), eq(y4, add(y4, 5))), else(eq(y3, sub(y4, y1))))
- a, a, b, f, f, f(a, a, b) =^= a, a, c, f, f, f(a, a, c)
- a, a, b, b, f, f, f(a, a, b, b) =^= a, a, c, f, f, f(a, a, c)
- f(g(a, X), a, X, b) =^= f(g(b), b))
- a,a,a,a,a,a,a,a,a,a,a,a =^= a,a,a,a,a,a,a,a,a,a
|
|