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