(Program
  (Module
    (Identifier))
  (Function
    (Empty)
    (Identifier)
    ([])
    (Assignment
      (
      { (Identifier)
      ->(Identifier) }
      { (Identifier)
      ->(Identifier) })
      (
      { (Integer)
      ->(Integer) }
      { (Integer)
      ->(Integer) }))))