public static void updateNowTimestamp(Keyword kbaction) {
    if (kbaction == Logic.$LAST_KB_ACTION$) {
      return;
    }
    if (kbaction == Logic.KWD_UPDATE_PROPOSITION) {
      if (Logic.descriptionModeP() ||
          ((!(((Module)(Stella.$MODULE$.get())) == ((Context)(Stella.$CONTEXT$.get())))) ||
           ((Boolean)(Logic.$INVISIBLEASSERTIONp$.get())).booleanValue())) {
        return;
      }
      Logic.incrementNowTimestamp();
    }
    else if (kbaction == Logic.KWD_EXECUTE_QUERY) {
    }
    else {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

        stream000.nativeStream.print("`" + kbaction + "' is not a valid case option");
        throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
      }
    }
    Logic.$LAST_KB_ACTION$ = kbaction;
  }