f g x x a h g f a h 1 a 0 f 1 g 1 FULL ./TRS/relative/rt2-4.trs