[Verifpal] assert assert

[Mike]

hi all,

While testing verifpal I found ASSERT() doesn't understand something simple.
Cut versions attached.

(mike)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: should_fail.vp
Type: application/octet-stream
Size: 147 bytes
Desc: not available
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20190911/93851a72/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: should_ok.vp
Type: application/octet-stream
Size: 98 bytes
Desc: not available
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20190911/93851a72/attachment-0001.obj>