State Invariant now assumes old state.
Thread assistant factory through all POs. Needed for locale extraction.