(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f0))
(VAR A B C D E)
(RULES
  f0(A, B, C, D, E) -> Com_1(f7(0, 0, F, G, H))
)