(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f2)) (VAR A) (RULES f2(A) -> Com_1(f5(B)) )