h f f x h f g f x f g f x f f x h 1 f 1 g 1 FULL ./TRS/nontermin/HM/n001.trs