f x empty x f empty cons a k f cons a k k f cons a k y f y k f 2 empty 0 cons 2 FULL ./TRS/LJB01/jones5.trs