Added test to exercise use of unsupported modeling constructs
Added functionality for analysis prior to code generation of VDM models that checks if the modeler uses unsupported modeling constructs.