U11
tt
N
U21
tt
s
plus
N
M
U41
tt
plus
x
N
M
N
and
tt
X
U31
tt
0
isNat
tt
isNat
and
isNat
isNat
isNat
plus
N
0
U11
isNat
plus
N
s
M
U21
and
isNat
x
N
0
U31
isNat
x
N
s
M
U41
and
isNat
U11
1
tt
0
U21
1
s
1
plus
2
U41
1
x
2
and
1
U31
1
0
0
isNat
0
OUTERMOST
./TRS/outermost/TRCSR/MYNAT_nokinds_L.trs