fact X if zero X n__s 0 n__prod X fact p 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 if true X Y activate X if false X Y activate Y zero 0 true zero s X false p s X X s X n__s X prod X1 X2 n__prod X1 X2 activate n__s X s X activate n__prod X1 X2 prod X1 X2 activate X X fact 1 if 3 zero 1 n__s 1 0 0 n__prod 2 p 1 add 2 s 1 prod 2 true 0 activate 1 false 0 FULL ./TRS/TRCSR/ExIntrod_Zan97_Z.trs