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
INNERMOST
./TRS/outermost/TRCSR/ExIntrod_Zan97_L.trs