doaAnimal n é muito explicito trocado assinatura do predicado para adotaAnimal