f g X g f f X f h X h g X f 1 g 1 h 1 FULL ./TRS/Rubio/nestrec.trs