; has-given-name?: animal string -> boolean
  ; consumes an animal and a name and determines if animal has given name
  (define (has-given-name? an-ani name)
    (cond [(boa? an-ani) (string=? name (boa-name an-ani))] 
          [(dillo? an-ani) false]
          [(tiger? an-ani) (string=? name (tiger-name an-ani)) ]))