public static Cons treeToTrees(Stella_Object tree) {
    if (Stella_Object.safePrimaryType(tree) == Stella.SGT_STELLA_CONS) {
      { Cons tree000 = ((Cons)(tree));

        if (tree000.value == Stella.SYM_STELLA_PROGN) {
          return (tree000.rest);
        }
      }
    }
    else {
    }
    return (Cons.cons(tree, Stella.NIL));
  }