question: public static boolean containsModelCheckingModuleConflict ( String rootModuleName ) { String rootModuleFileName = rootModuleName ; if ( ! rootModuleName . endsWith ( ResourceHelper . TLA_EXTENSION ) ) { rootModuleFileName = ResourceHelper . getModuleFileName ( rootModuleName ) ; } List < String > extendedModuleNames = ToolboxHandle . getExtendedModules ( rootModuleFileName ) ; Iterator < String > it = extendedModuleNames . iterator ( ) ; while ( it . hasNext ( ) ) { String moduleName = it . next ( ) ; if ( moduleName . equals ( FILE_TLA ) ) { return true ; } } return false ; }
target:  Determines if the spec with root module rootModuleName is dependent on a module with the same name as the root module used for model checking.