f cons nil y y f cons f cons nil y z copy n y z copy 0 y z f z copy s x y z copy x y cons f y z f 1 cons 2 nil 0 copy 3 n 0 0 0 s 1 FULL ./TRS/Ste92/hydra.trs