Raised by verify_symmetry: true when the reduced and unreduced runs disagree.
The declaration is wrong: something in the spec can tell the symmetric elements apart, so collapsing them dropped a state whose verdict mattered.
Raised by verify_symmetry: true when the reduced and unreduced runs disagree.
The declaration is wrong: something in the spec can tell the symmetric elements apart, so collapsing them dropped a state whose verdict mattered.