Merge remote-tracking branch 'origin/sdf' into newpog
Test for invariant POs on state assignments.
Added supoprt for locale calculation.
Merge remote-tracking branch 'origin/newpog' into sdf
Added new code to deal with failing POs and to deal with process locality