f g x s 0 y f y y g x g s x s g x g 0 0 f 3 g 1 s 1 0 0 FULL ./TRS/nontermin/AG01/#4.2.trs