Merge pull request #260 from thirtythreeforty/sva-error Emit error when encountering assert/assume properties