terms
N
cons
recip
sqr
N
sqr
0
0
sqr
s
X
s
add
sqr
X
dbl
X
dbl
0
0
dbl
s
X
s
s
dbl
X
add
0
X
X
add
s
X
Y
s
add
X
Y
first
0
X
nil
first
s
X
cons
Y
cons
Y
terms
1
cons
1
recip
1
sqr
1
0
0
s
1
add
2
dbl
1
first
2
nil
0
INNERMOST
./TRS/TRCSR/Ex2_Luc02a_L.trs