Complete TRS - 698.trs
(VAR ) (RULES c -> f(h(b,b)) c -> b b -> b c -> a a -> b b -> f(h(b,b)) a -> f(h(b,b)) )