Initial mechanism for computing the conjoined class invariant.
Initial introduction of stitch points to POs.
Clone additional expressions in onetype() to cope with concurrent modifications.
Reminder to fix atomic assignment.
Continue to introduce stitch points.
Use ast factory to construct the not equals expression.
Delete commented code.
Complete introduction of definedness predicate stitch points.
Correct Isabelle PO names.
Add missing stitches to Type Compability PO.
Add new version of state invariant to distinguish initialization.
Move UI test stuff into the survival guide.
Merge remote-tracking branch 'origin/development' into kel/astv2
Merge remote-tracking branch 'origin/newpog' into kel/astv2