f x x f i x g g x f x y x g x i x f x i x f x x f i x i g x a f 2 i 1 g 1 a 0 FULL ./TRS/nontermin/cariboo/ex6.trs