re-adding the probcli.sh include it was somehow lost. This enabled prob to run on linux+64 and mac
Merge remote-tracking branch 'origin/symphony/test' into kel/astv2
Initial introduction of stitch points to POs.
Merge remote-tracking branch 'origin/symphony/development' into kel/astv2
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/newpog' into kel/astv2
Merge remote-tracking branch 'origin/development' into kel/astv2
Merge remote-tracking branch 'origin/newpog' into kel/astv2