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