(Statements
{+(Function
  {+(Identifier)+}
  {+(Identifier)+}
  {+(Identifier)+}
  {+(Identifier)+})+}
  (Function
    (Identifier)
  { (Identifier)
  ->(Identifier) })
  (Function
  { (Identifier)
  ->(Identifier) }
  { (Identifier)
  ->(Identifier) }
  {-(Identifier)-}
  { (Identifier)
  ->(Identifier) })
{-(Function
  {-(Identifier)-}
  {-(Identifier)-}
  {-(Identifier)-})-})