f 0 1 x f x x x f x y z 2 0 2 1 2 g x x y y g x y y x f 3 0 0 1 0 2 0 g 3 FULL ./TRS/nontermin/AG01/#4.13.trs