f g g x x f g x g x f f x x g x f x h x f 2 AC g 1 h 1 FULL ./TRS/AProVE_AC/AC15.trs