Matěj Novotný thank you very much for your quick and thorough replies.

The list of alternatives accessed is not sorted by priority in Weld 3.1.4 in the case I have observed. Therefore I think Weld has a bug and does not sort by priority in ascending order.

I will look at what's involved to create a test case demonstrating this...