f s x y f x s x f x s y f y x f 2 s 1 FULL ./TRS/AProVE/rta2.trs