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