public static void setCandidateClauses(Symbol className) {
    { List clauses = ((List)(Logic.$CASE_ANTECEDENT_TABLE$.lookup(className.symbolName + "-match")));

      Logic.$CANDIDATE_CLAUSES$ = Vector.newVector(clauses.length());
      { Cons clause = null;
        Cons iter000 = clauses.theConsList;
        int k = Stella.NULL_INTEGER;
        int iter001 = 0;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest, iter001 = iter001 + 1) {
          clause = ((Cons)(iter000.value));
          k = iter001;
          (Logic.$CANDIDATE_CLAUSES$.theArray)[k] = clause;
        }
      }
    }
  }