f empty l l f cons x k l g k l cons x k g a b c f a cons b c f 2 empty 0 cons 2 g 3 FULL ./TRS/LJB01/jones2.trs