(Program
  (Send
    (Identifier)
    (KeyValue
      (Send
        (Identifier))
      (Boolean))
  {+(KeyValue
    {+(Send
      {+(Identifier)+})+}
    {+(Integer)+})+}))