f h x f i x f i x a i x h x f 1 h 1 i 1 a 0 FULL ./TRS/nontermin/cariboo/ex4.trs