Update state invariant PO results.
UPdated atomic assignment PO test but it's still a bit broken.