public static Keyword defaultifyUpdateMode(Keyword updatemode) {
    if (updatemode == Logic.KWD_ASSERT_TRUE) {
      return (Logic.KWD_PRESUME_TRUE);
    }
    else if (updatemode == Logic.KWD_ASSERT_FALSE) {
      return (Logic.KWD_PRESUME_FALSE);
    }
    else {
      return (updatemode);
    }
  }