f x g f x g f x x g x a f 1 g 1 a 0 FULL ./TRS/nontermin/cariboo/ex5.trs