le
0
y
true
le
s
x
0
false
le
s
x
s
y
le
x
y
int
x
y
if
le
x
y
x
y
if
true
x
y
cons
x
int
s
x
y
if
false
x
y
nil
2.2
le
s
x
s
y
le
x
y
int
x
y
if
le
x
y
x
y
if
true
x
y
int
s
x
y
int
x
y
le
x
y
true
if
true
x
y
int
s
x
y
int
x
y
if
le
x
y
x
y
true
Failed!
NaTT
certifiable-1.6