code: protected void preProcessVdmUserClass(INode vdmModule)
  	{
  		final Set<String> instantiatedClasses = new HashSet<>();
  		
  		try {
  			vdmModule.apply(new DepthFirstAnalysisAdaptor() {
  				
  				@Override
  				public void caseANewExp(ANewExp node) throws AnalysisException {
  				
  					super.caseANewExp(node);
  					instantiatedClasses.add(node.getClassName().getName());
  				}
  			});
  		} catch (AnalysisException e) {
  
  			log.error("Got unexpected error when trying to find classes that are instantiated: " + e.getMessage());
  			e.printStackTrace();
  		}
  		
  		this.generator.getIRInfo().getInstantiatedClasses().addAll(instantiatedClasses);
  	}
docs: Pre-processing of a user class. This method is invoked by {@link #preProcessAst(List)}.
  
  @param vdmModule
  The user module or class.