first
0
X
nil
first
s
X
cons
Y
Z
cons
Y
n__first
X
activate
Z
from
X
cons
X
n__from
n__s
X
first
X1
X2
n__first
X1
X2
from
X
n__from
X
s
X
n__s
X
activate
n__first
X1
X2
first
activate
X1
activate
X2
activate
n__from
X
from
activate
X
activate
n__s
X
s
activate
X
activate
X
X
first
2
0
0
nil
0
s
1
cons
2
n__first
2
activate
1
from
1
n__from
1
n__s
1
INNERMOST
./TRS/TRCSR/Ex6_Luc98_FR.trs