Merge remote-tracking branch 'origin/development' into newpog
Allow extensions to control OpContext contributions separately.
Changed name of subtype PO. Updating test result.
Better handling of clones when rewriting same var multiple times.
Move the updated old string tests to main test package.
Remove the correct stateful context.
Fixed assignment collecting in atomic statements.
Renamed POs. Also add Type/State Invariant satisfiability.
Add base tests for state and type inv satisfiable.
Update test results due to pog renames.
Correct state invariant name.
Merge remote-tracking branch 'origin/development' into newpog
Merge remote-tracking branch 'origin/symphony/development' into newpog
Precondition may be used multiple times in PO. Clone it.
Implement variable substituion for field and unary expressions.
Remove problematic characters from isabelle PO names.
distinguish between var and oldvar in a substition.
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.