public static void flushClassificationSessions() {
    { World jitworld = Logic.lookupInferenceCache(((Module)(Stella.$MODULE$.get())), Logic.KWD_JUST_IN_TIME);
      World metaworld = Logic.lookupInferenceCache(((Module)(Stella.$MODULE$.get())), Logic.KWD_META);
      World tmsworld = Logic.lookupInferenceCache(((Module)(Stella.$MODULE$.get())), Logic.KWD_TMS);

      if (jitworld != null) {
        KeyValueList.setDynamicSlotValue(jitworld.dynamicSlots, Logic.SYM_LOGIC_CLASSIFICATION_SESSION, null, null);
      }
      if (metaworld != null) {
        KeyValueList.setDynamicSlotValue(metaworld.dynamicSlots, Logic.SYM_LOGIC_CLASSIFICATION_SESSION, null, null);
      }
      if (tmsworld != null) {
        KeyValueList.setDynamicSlotValue(tmsworld.dynamicSlots, Logic.SYM_LOGIC_CLASSIFICATION_SESSION, null, null);
      }
    }
  }