Prioritization does not work with set labels
Adding a simpler spec of the problem.
In
set A = {a, b, c}
P = (A -> P2 | d -> P2),
P2 = (d->P).
||Q = (P) << {A}.
||S = (P) << {a, b, c}.
I would expect S and Q to be the same. However, they are different.
The correct result is S.
The problem in Q is that the set A should be interpreted as {a, b, c, a?, b?, c?} but is being interpreted as {a?, b?, c?}
PLEASE ADD TEST FOR THIS TOO.
-In this example, prioritization is not applied when the set to prioritize is given by a set id. It does work if the set is provided inline.