StatementList

A StatementList is simply a list of statements. It is made a Statement itself because it is sometimes useful to treat a list of statements as a unit.

    concrete StatementList : Statement
      {
        list<Statement* owner> statement in child_statements;
     };

The statements within the StatementList are executed sequentially in the order they appear in the StatementList until control flow is changed by some sort of branch or jump.