hi all, I found new way parser thinks file is valid. (mike) -------------- next part -------------- A non-text attachment was scrubbed... Name: guard.vp Type: application/octet-stream Size: 167 bytes Desc: not available URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20190917/8fea5c91/attachment.obj>