public static List variablizeConsPropositions(List antecedent) {
    { List varList = List.newList();

      { Cons prop = null;
        Cons iter000 = antecedent.theConsList;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          prop = ((Cons)(iter000.value));
          Logic.findUniqueVariableNames(prop, varList);
        }
      }
      return (Logic.variablizeInstances(antecedent, varList));
    }
  }