code: protected void handleOldNames(List<? extends INode> vdmAst)
  			throws AnalysisException
  	{
  		OldNameRenamer oldNameRenamer = new OldNameRenamer();
  
  		for (INode module : vdmAst)
  		{
  			module.apply(oldNameRenamer);
  		}
  	}
docs: Processes old names by replacing the tilde sign '~' with an underscore.
  
  @param vdmAst
  The VDM AST subject to processing.
  @throws AnalysisException
  If something goes wrong during the renaming process.