f 0 1 X f g X X X X g X Y X g X Y Y f 3 0 0 1 0 g 2 FULL ./TRS/nontermin/Rubio-inn/test75.trs