Test for invariant POs on state assignments.
Added supoprt for locale calculation.