Introduce methods for full and def only predicate printing.
Last Op post condition context no longer rewrites x~.
Initial attempts at integrating assignments with new Op Post condition treatment.
All stateful contexts should now get removed.
Overhauled handling of state vars in op composition. Should work now.