if true X if false Y fact X if zero X add 0 X X add s X Y s add X Y prod 0 X 0 prod s X Y add Y prod X Y zero 0 true zero s X false p s X X if 1 true 0 false 0 fact 1 zero 1 add 2 0 0 s 1 prod 2 p 1 FULL ./TRS/TRCSR/ExIntrod_Zan97_L.trs