PlusCal Translator should error for semicolons in a PlusCal "define" block Aug 16

Error-Trace Popup Prevents Scrolling Aug 16

Putting a state predicate in the "Properties" model box should give a warning Aug 16