(Program
  (Subscript
    (Identifier)
  { (Identifier)
  ->(Identifier) }))