h f x y f f a h h y x h 1 f 2 a 0 FULL ./TRS/Waldmann/jwmatchb2.trs