What determines pet ability priority in event of an attack tie?

[jolpica]

It is stated that pet priority is determined by health in the event of a tie.

In a versus battle against myself, running these mosquitos over and over always lead to the right-hand mosquito going first

• When they had equal 2-2 stats at level 1
• When left was 4-4 level 2, and right was 4-4 level 1
• When left was 4-5 level 2, and right was 4-4 level 1

Not sure if this is versus exclusive, or effects arena mode the same, but it seems that health does not prioritise pets at all. Also seems that on attack ties, the outcome is not random as something (maybe player data?) always favours one team over the other.

Should the health tie-break be removed? (and possibly the random tie-break)?