Complete TRS - 684.trs
(VAR ) (RULES b -> c b -> f(c) c -> c f(c) -> c )