(VAR x)
(RULES
f(x) -> f(x) :|: x*x < 0
)