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