f s X f X g cons 0 Y g Y g cons s X Y s X h cons X Y h g cons X Y f 1 s 1 g 1 cons 2 0 0 h 1 INNERMOST ./TRS/Rubio-inn/test830.trs