(Program
  (While
  { (Identifier)
  ->(Identifier) }
    (
    {+(NoOp
      {+(Empty)+})+}
      (Break
        (Empty))
      (Continue
        (Empty))
    {-(NoOp
      {-(Empty)-})-})))