f g x y x z f z z z g x y x g x y y f 3 g 2 FULL ./TRS/nontermin/AG01/#4.3.trs