f a x f g x x h g x h a g h x g x h h x x f 2 a 0 g 1 h 1 FULL ./TRS/AProVE/improved_usable2.trs