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