(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C) (RULES f8(A,B,C) -> Com_1(f12(2,1,C)) :|: A = 2 f8(A,B,C) -> Com_1(f12(A,0,C)) :|: 1 >= A f8(A,B,C) -> Com_1(f12(A,0,C)) :|: A >= 3 f0(A,B,C) -> Com_1(f12(1,1,1)) )