f f x f x g 0 g f 0 f 1 g 1 0 0 FULL ./TRS/nontermin/AG01/#4.20.trs