Ops 0:0 1:0 f:1
Vars x y
TRS R1
f(0) -> f(0)
0 -> 1
