public static void postProcessWhynotProofClasses(List classes) {
    classes.sort(Native.find_java_method("edu.isi.powerloom.logic.WhynotProofClass", "betterWhynotProofClassP", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.WhynotProofClass"), Native.find_java_class("edu.isi.powerloom.logic.WhynotProofClass")}));
    { WhynotProofClass renamed_Class = null;
      Cons iter000 = classes.theConsList;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        renamed_Class = ((WhynotProofClass)(iter000.value));
        if (renamed_Class.length() > 1) {
          { KeyValueMap substitution = renamed_Class.deviatingPattern.substitution;
            PatternVariable variable = renamed_Class.deviatingVariable;

            { AlternativeBindingsSet self000 = AlternativeBindingsSet.newAlternativeBindingsSet();

              self000.theVariable = variable;
              { AlternativeBindingsSet bindings = self000;

                { Stella_Object instance = null;
                  Cons iter001 = renamed_Class.deviatingInstances.theConsList;

                  for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
                    instance = iter001.value;
                    bindings.bindings.insert(instance);
                  }
                }
                substitution.insertAt(variable, bindings);
              }
            }
          }
        }
      }
    }
  }