add
true
x
xs
add
and
isNat
x
isList
xs
x
Cons
x
xs
isList
Cons
x
xs
isList
xs
isList
nil
true
isNat
s
x
isNat
x
isNat
0
true
if
true
x
y
x
if
false
x
y
y
and
true
true
true
and
false
x
false
and
x
false
false
add
3
true
0
and
2
isNat
1
isList
1
Cons
2
nil
0
s
1
0
0
if
3
false
0
FULL
TRS//AProVE_10/ex4.trs