How will this work with pets with the number of targets reduced to 5? In a 5-man instance, if three of the party members have pets, how will it determine who to heal? Do players get priority over pets?

Would it be better to have it heal all players and pets in your party?