public static Cons cppStatementToList(Stella_Object statement) {
    { Cons flattenedstatement = Cons.cppFlattenStatements(((Cons)(statement)));

      if (flattenedstatement == statement) {
        return (Cons.cons(flattenedstatement, Stella.NIL));
      }
      else {
        return (flattenedstatement);
      }
    }
  }