(Statements
  (Function
  { (Identifier)
  ->(Identifier) }
  {-(Identifier)-}
  {-(Identifier)-}
  { (Identifier)
  ->(Identifier) })
  (Function
    (Identifier)
  {+(Identifier)+}
  { (Identifier)
  ->(Identifier) })
  (Function
  { (Identifier)
  ->(Identifier) }
  { (Identifier)
  ->(Identifier) }
  {+(Identifier)+}
  { (Identifier)
  ->(Identifier) })
{+(Function
  {+(Identifier)+}
  {+(Assignment
    {+(Identifier)+}
    {+(Identifier)+})+}
  {+(Identifier)+})+}
  (Function
    (Identifier)
    (Annotation
      (Assignment
        (Identifier)
      { (Integer)
      ->(TextElement) })
    { (Identifier)
    ->(Identifier) })
  { (Identifier)
  ->(Identifier) }
    (Identifier)))