public static void clearCases() {
    { Symbol name = null;
      Cons iter000 = Logic.$CASE_RULE_NAMES$.theConsList;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        name = ((Symbol)(iter000.value));
        Logic.smartUpdateProposition(name, Logic.KWD_RETRACT_TRUE);
      }
    }
    Logic.$NUM_CASES$ = 0;
    Logic.$SEEN_INSTANCES$ = List.newList();
    Logic.$VISITED_PROPOSITIONS$ = List.newList();
    Logic.$VISITED_INSTANCES$ = List.newList();
    Logic.$CASE_RULE_NAMES$ = List.newList();
    Logic.$CASE_ANTECEDENT_TABLE$ = StringHashTable.newStringHashTable();
    Logic.$CASE_TYPES_TABLE$ = StringHashTable.newStringHashTable();
    Logic.$CASE_NAME_TABLE$ = HashTable.newHashTable();
    Logic.$CASE_VARIABLE_COUNTER$ = 0;
  }