public static Cons kifCondToIf(Cons conditions) {
    if (conditions == Stella.NIL) {
      return (Stella.NIL);
    }
    else {
      {
        if (!(Stella_Object.consP(conditions.value) &&
            (!(((Cons)(conditions.value)).rest.value == Stella.NIL)))) {
          { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

            { Object old$PrintreadablyP$000 = Stella.$PRINTREADABLYp$.get();

              try {
                Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
                stream000.nativeStream.println("PARSING ERROR: Illegal condition in 'COND': `" + conditions.value + "'.");
                Logic.helpSignalPropositionError(stream000, Logic.KWD_ERROR);

              } finally {
                Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$000);
              }
            }
            throw ((ParsingError)(ParsingError.newParsingError(stream000.theStringReader()).fillInStackTrace()));
          }
        }
        { Cons firstcondition = ((Cons)(conditions.value));
          Cons valueterm = Logic.kifCondToIf(conditions.rest);

          if (!(valueterm == Stella.NIL)) {
            valueterm = Cons.consList(Cons.cons(valueterm, Stella.NIL));
          }
          return (Cons.list$(Cons.cons(Logic.SYM_STELLA_IF, Cons.cons(((Cons)(firstcondition.value)), Cons.cons(Cons.cons(((Cons)(firstcondition.rest.value)), valueterm.concatenate(Stella.NIL, Stella.NIL)), Stella.NIL)))));
        }
      }
    }
  }