(Program
  (While
    (Not
      (Send
        (Identifier)))
  { (Send
    {-(Identifier)-})
  ->(Statements) })
{+(While
  {+(Not
    {+(Send
      {+(Identifier)+})+})+}
  {+(Send
    {+(Identifier)+})+})+})