(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS l0)) (VAR A B C D) (RULES l0(A, B, C, D) -> Com_1(l1(0, B, C, D)) l1(A, B, C, D) -> Com_1(l2(A, B, 0, 0)) :|: B > 0 l2(A, B, C, D) -> Com_1(l2(A, B, C + 1, D + C)) :|: C < B l2(A, B, C, D) -> Com_1(l1(A + D, B - 1, C, D)) :|: C >= B l1(A, B, C, D) -> Com_1(l3(A, B, C, D)) :|: B <= 0 l3(A, B, C, D) -> Com_1(l3(A - 1, B, C, D)) :|: A > 0 )