g h g x g x g g x g h g x h h x h f h x x g 1 h 1 f 2 FULL ./TRS/Ste92/motivation.trs