public static Keyword invertUpdateMode(Keyword updatemode) {
    if (updatemode == Logic.KWD_ASSERT_TRUE) {
      return (Logic.KWD_ASSERT_FALSE);
    }
    else if (updatemode == Logic.KWD_PRESUME_TRUE) {
      return (Logic.KWD_PRESUME_FALSE);
    }
    else if (updatemode == Logic.KWD_RETRACT_TRUE) {
      return (Logic.KWD_RETRACT_FALSE);
    }
    else if (updatemode == Logic.KWD_ASSERT_FALSE) {
      return (Logic.KWD_ASSERT_TRUE);
    }
    else if (updatemode == Logic.KWD_PRESUME_FALSE) {
      return (Logic.KWD_PRESUME_TRUE);
    }
    else if (updatemode == Logic.KWD_RETRACT_FALSE) {
      return (Logic.KWD_RETRACT_TRUE);
    }
    else {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

        stream000.nativeStream.print("`" + updatemode + "' is not a valid case option");
        throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
      }
    }
  }