public static WhynotProofClass insertWhynotProof(List classes, Justification proof) {
    { WhynotProofClass renamed_Class = null;
      Cons iter000 = classes.theConsList;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        renamed_Class = ((WhynotProofClass)(iter000.value));
        if (WhynotProofClass.insertWhynotProofToClassP(renamed_Class, proof)) {
          return (renamed_Class);
        }
      }
    }
    classes.push(WhynotProofClass.newWhynotProofClass());
    WhynotProofClass.insertWhynotProofToClassP(((WhynotProofClass)(classes.first())), proof);
    return (((WhynotProofClass)(classes.first())));
  }