public ModuleReference convert(ModuleReference modRef) { return(DotNetUtils.addModuleReference(module, modRef)); }