(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS p))
(VAR X Y Z W)
(RULES
l(X,Y) -> return () :|: Y = X + 1
p(X,Y) -> return () :|: Y = X + 1
q(X,Y) -> Com_2(l(X,Y), p(X,Y))
p(X,Y) -> q(W,X)

)