(Program
  (While
    (Identifier)
  {-(Identifier)-})
{+(Modifier While
    (Identifier)
    (Identifier))+})