public static Stella_Object oneKifVariableDeclarationToStella(Stella_Object tree) {
    if (!Logic.kifVariableDeclarationP(tree)) {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

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

          try {
            Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
            stream000.nativeStream.println("PARSING ERROR: Illegal KIF variable declaration: `" + tree + "'.");
            Logic.helpSignalPropositionError(stream000, Logic.KWD_ERROR);

          } finally {
            Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$000);
          }
        }
        throw ((ParsingError)(ParsingError.newParsingError(stream000.theStringReader()).fillInStackTrace()));
      }
    }
    if (Stella_Object.safePrimaryType(tree) == Logic.SGT_STELLA_CONS) {
      { Cons tree000 = ((Cons)(tree));

        tree000.firstSetter(Logic.kifVariableToStellaVariable(tree000.value));
        if (tree000.rest.value != null) {
          {
            tree000.secondSetter(Logic.kifSymbolToStellaSymbol(((Symbol)(tree000.rest.value))));
            return (Cons.cons(Logic.SYM_STELLA_ISA, tree000.concatenate(Stella.NIL, Stella.NIL)));
          }
        }
        else {
          return (Logic.kifVariableToStellaVariable(tree000.value));
        }
      }
    }
    else {
      return (Logic.kifVariableToStellaVariable(tree));
    }
  }