public static void introduceIntoClassificationSession(Description self) {
    { World world = ((World)(KeyValueList.dynamicSlotValue(((Module)(Stella.$MODULE$.get())).dynamicSlots, Logic.SYM_LOGIC_META_INFERENCE_CACHE, null)));

      if ((world == null) ||
          (((ClassificationSession)(KeyValueList.dynamicSlotValue(world.dynamicSlots, Logic.SYM_LOGIC_CLASSIFICATION_SESSION, null))) == null)) {
        return;
      }
      { int newtimestamp = Logic.bumpClassificationTimeclock();

        Logic.getClassificationCache(self).introductionTimestamp = newtimestamp;
        ((ClassificationSession)(Logic.$CLASSIFICATIONSESSION$.get())).introductionTimestampStack.push(IntegerWrapper.wrapInteger(newtimestamp));
      }
    }
  }