f g x x y f y y g y g g x g x f 3 g 1 FULL ./TRS/nontermin/AG01/#4.4.trs