app
app
mapt
f
app
leaf
x
app
leaf
app
f
x
app
app
mapt
f
app
node
xs
app
node
app
app
maptlist
f
xs
app
app
maptlist
f
nil
nil
app
app
maptlist
f
app
app
cons
x
xs
app
app
cons
app
app
mapt
f
x
app
app
maptlist
f
xs
app
2
mapt
0
leaf
0
node
0
maptlist
0
nil
0
cons
0
FULL
TRS/higher-order/AotoYam/022.trs