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