a__and true X mark X a__and false Y false a__if true X Y mark X a__if false X Y mark Y a__add 0 X mark X a__add s X Y s add X Y a__first 0 X nil a__first s X cons Y Z cons Y first X Z a__from X cons X from s X mark and X1 X2 a__and mark X1 X2 mark if X1 X2 X3 a__if mark X1 X2 X3 mark add X1 X2 a__add mark X1 X2 mark first X1 X2 a__first mark X1 mark X2 mark from X a__from X mark true true mark false false mark 0 0 mark s X s X mark nil nil mark cons X1 X2 cons X1 X2 a__and X1 X2 and X1 X2 a__if X1 X2 X3 if X1 X2 X3 a__add X1 X2 add X1 X2 a__first X1 X2 first X1 X2 a__from X from X a__and 2 true 0 mark 1 false 0 a__if 3 a__add 2 0 0 s 1 add 2 a__first 2 nil 0 cons 2 first 2 a__from 1 from 1 and 2 if 3 INNERMOST ./TRS/TRCSR/inn/Ex15_Luc98_GM.trs