f s x f g x x g 0 1 s 0 0 1 f 1 s 1 g 2 0 0 1 0 FULL ./TRS/nontermin/AG01/#4.7.trs