Ops a:2 i:0 k:0 s:0
Vars x y z
TRS CL
a(i,x) -> x
a(a(k,x),y) -> x
a(a(a(s,x),y),z) -> a(a(x,z),a(y,z))

