State Invariant now assumes old state.
Thread assistant factory through all POs. Needed for locale extraction.
Added new status for internal error when discharging PO.
Initial mechanism for computing the conjoined class invariant.