(Program
  (While
    (Identifier)
  { (Identifier)
  ->([]) })
{+(While
  {+(Identifier)+}
  {+(Identifier)+})+})