public static Cons walkListOfStatements(Cons trees) {
    { Cons otrees = Stella.NIL;

      { Stella_Object otree = null;
        Cons iter000 = Cons.walkListOfTrees(trees);
        Cons collect000 = null;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          otree = iter000.value;
          if (Stella_Object.consP(otree)) {
            if (collect000 == null) {
              {
                collect000 = Cons.cons(otree, Stella.NIL);
                if (otrees == Stella.NIL) {
                  otrees = collect000;
                }
                else {
                  Cons.addConsToEndOfConsList(otrees, collect000);
                }
              }
            }
            else {
              {
                collect000.rest = Cons.cons(otree, Stella.NIL);
                collect000 = collect000.rest;
              }
            }
          }
        }
      }
      return (otrees);
    }
  }