Remove "assert" keyword from CN syntax in most places

[bcpierce00]

Summary

New CN users may be confused about where "assert" is required and where it is forbidden. Dhruv and I (Benjamin) discussed this a bit, leading to the following proposal:

• Keep "assert" in the CN statements that are sometimes used within C function bodies.
• Remove it everywhere else

(If removing it is difficult, then making it required everywhere that it is currently forbidden would be an acceptable alternative.)

[ZippeyKeys12]

I strongly favor requiring assert everywhere. Having bare expressions in the middle of predicates would hurt readability for me.

[bcpierce00]

I felt the same at first, but I got used to it pretty quickly. And having explicit assert keywords everywhere would really add quite a bit of noise to some examples, especially long ones where we can least afford it...

…

On Tue, Jun 18, 2024 at 2:57 PM Zain Aamer ***@***.***> wrote: I strongly favor requiring assert everywhere. Having bare expressions in the middle of predicates would hurt readability for me. — Reply to this email directly, view it on GitHub <https://urldefense.com/v3/__https://github.com/GaloisInc/VERSE-Toolchain/issues/99*issuecomment-2176759181__;Iw!!IBzWLUs!VWy97ZCOKiLgTHQj98bg9AZnPvg2vkQe7zqu64b-2BSqh7_T_6v9WsXoS1grg6wsDBiE4XdNUMcL2yhKPJiJW3qxFIzf$>, or unsubscribe <https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/ABVQQC4PHMFP7J5TN4U6YBTZIB7IDAVCNFSM6AAAAABJA6PK72VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDCNZWG42TSMJYGE__;!!IBzWLUs!VWy97ZCOKiLgTHQj98bg9AZnPvg2vkQe7zqu64b-2BSqh7_T_6v9WsXoS1grg6wsDBiE4XdNUMcL2yhKPJiJW8iYAsQU$> . You are receiving this because you authored the thread.Message ID: ***@***.***>