public static boolean codeModuleP(Module module) {
    return (((BooleanWrapper)(KeyValueList.dynamicSlotValue(module.dynamicSlots, GuiServer.SYM_STELLA_CODE_ONLYp, Stella.FALSE_WRAPPER))).wrapperValue ||
        (Stella.stringEqlP(module.moduleName, "IDL-THEORY") ||
         Stella.stringEqlP(module.moduleName, "IDL-USER-THEORY")));
  }