There are bugs in operator &= and operator ^= in PotentialValuesState.
When we clamp states, helper BooleanStates should be but were not clamped.
In the current situation of AAPotentialValues, I think it is difficult to reflect this change in tests. I noticed this bug when I worked on D85632 and saw affected tests because AAPotentialValues has interface only.
Should I include the changes here in that patch? (But I feel that the patch is big and want to split it if possible.)