app
nil
YS
YS
app
cons
X
XS
YS
cons
X
app
XS
YS
from
X
cons
X
from
s
X
zWadr
nil
YS
nil
zWadr
XS
nil
nil
zWadr
cons
X
XS
cons
Y
YS
cons
app
Y
cons
X
nil
zWadr
XS
YS
prefix
L
cons
nil
zWadr
L
prefix
L
app
2
nil
0
cons
2
from
1
s
1
zWadr
2
prefix
1
OUTERMOST
./TRS/outermost/nontermin/CSR/Ex3_3_25_Bor03.trs