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