public static void destructivelyUnquoteTopLevel(Cons tree) {
    while (!(tree == Stella.NIL)) {
      if (Stella_Object.isaP(tree.value, Logic.SGT_STELLA_CONS) &&
          (Logic.SYM_STELLA_QUOTE == ((Cons)(tree.value)).value)) {
        tree.firstSetter(((Cons)(tree.value)).rest.value);
        if (tree.value == Logic.SYM_STELLA_NIL) {
          tree.firstSetter(Stella.NIL);
        }
      }
      tree = tree.rest;
    }
  }