// ***** VDMTOOLS START Name=hasExpression KEEP=NO public Boolean hasExpression() throws CGException { return new Boolean(!UTIL.equals(ivExpression, null)); }