first 0 X nil first s X cons Y Z cons Y first X Z from X cons X from s X first 2 0 0 nil 0 s 1 cons 2 from 1 FULL ./TRS/nontermin/CSR/Ex6_Luc98.trs