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