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