1
2
3
const
x
=
2
;
const
y
=
x
*
2
;
assert
(
y
>
x
)
;
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
verify