Fix the struct weak ordering used by independent set ordering, tests for it
2 files changed