2nd cons1 X cons Y Z Y 2nd cons X X1 2nd cons1 X X1 from X cons X from s X 2nd 1 cons1 2 cons 2 from 1 s 1 FULL ./TRS/nontermin/CSR/Ex6_9_Luc02c.trs