code: protected boolean shouldGenerateVdmNode(INode vdmNode)
  	{
  		DeclAssistantIR declAssistant = getInfo().getDeclAssistant();
  
  		if (declAssistant.isLibrary(vdmNode))
  		{
  			return false;
  		} else
  		{
  			return true;
  		}
  	}
docs: Determines whether a VDM module or class should be code generated or not.
  
  @param vdmNode
  The node to be checked.
  @return True if <code>node</code> should be code generated - false otherwise.