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