Added guard against ill formed VDM++ ASTs