incr
nil
nil
incr
cons
X
L
cons
s
X
n__incr
activate
L
adx
nil
nil
adx
cons
X
L
incr
cons
X
n__adx
activate
L
nats
adx
zeros
zeros
cons
0
n__zeros
head
cons
X
L
X
tail
cons
X
L
activate
L
incr
X
n__incr
X
adx
X
n__adx
X
zeros
n__zeros
activate
n__incr
X
incr
X
activate
n__adx
X
adx
X
activate
n__zeros
zeros
activate
X
X
incr
1
nil
0
cons
2
s
1
n__incr
1
activate
1
adx
1
n__adx
1
nats
0
zeros
0
0
0
n__zeros
0
head
1
tail
1
INNERMOST
./TRS/TRCSR/ExIntrod_GM01_Z.trs