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