Merge pull request #260 from thirtythreeforty/sva-error

Emit error when encountering assert/assume properties