app
app
app
if
true
xs
ys
xs
app
app
app
if
false
xs
ys
ys
app
app
sub
x
0
x
app
app
sub
app
s
x
app
s
y
app
app
sub
x
y
app
app
gtr
0
y
false
app
app
gtr
app
s
x
0
true
app
app
gtr
app
s
x
app
s
y
app
app
gtr
x
y
app
app
d
x
0
true
app
app
d
app
s
x
app
s
y
app
app
app
if
app
app
gtr
x
y
false
app
app
d
app
s
x
app
app
sub
y
x
app
len
nil
0
app
len
app
app
cons
x
xs
app
s
app
len
xs
app
app
filter
p
nil
nil
app
app
filter
p
app
app
cons
x
xs
app
app
app
if
app
p
x
app
app
cons
x
app
app
filter
p
xs
app
app
filter
p
xs
app
2
if
0
true
0
false
0
sub
0
0
0
s
0
gtr
0
d
0
len
0
nil
0
cons
0
filter
0
FULL
./TRS/higher-order/Kusakari/Ex7_9.trs