(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) )