Stabilize the order of boolean queries by sorting them
Stabilize the order of boolean queries by sorting them

This way, they get assigned consistent colors in the legend.

probcomp/bdbcontrib,probcomp/bdbcontrib