from X cons X from s X sel 0 cons X Y X sel s X cons Y Z sel X Z from 1 1 cons 2 1 s 1 1 sel 2 1 2 0 0 FULL ./TRS/CSR/Ex3_12_Luc96a.trs