with_statement

with_statement ::= "WITH" designator "DO" 
      statement { ";" statement } 
      "END" 

This rule is called by

-> statement