public static Cons finishWalkingEqualTree(Cons tree, Surrogate type1, Surrogate type2, Object [] MV_returnarray) {
    {
      tree = tree;
      type1 = type1;
      type2 = type2;
    }
    { Object old$PrintreadablyP$000 = Stella.$PRINTREADABLYp$.get();

      try {
        Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
        Stella.signalTranslationError();
        if (!(Stella.suppressWarningsP())) {
          Stella.printErrorContext(">> ERROR: ", Stella.STANDARD_ERROR);
          {
            Stella.STANDARD_ERROR.nativeStream.println();
            Stella.STANDARD_ERROR.nativeStream.println(" finish-walking-equal-tree: NOT YET IMPLEMENTED..");
          }
;
        }

      } finally {
        Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$000);
      }
    }
    { Cons _return_temp = null;

      MV_returnarray[0] = Stella.SGT_STELLA_BOOLEAN;
      return (_return_temp);
    }
  }