Merge remote-tracking branch 'origin/acf' into alrd
Merge remote-tracking branch 'origin/development' into alrd
Merge remote-tracking branch 'origin/development' into alrd
Move basic test inputs files.
Various clean ups of pog test structure.
Initial attempts at substitution visitor and assignment context.
CMLPOContextStack is useless and being removed.
Migrated assignment contexts, etc. to Overture.
Cannot do substitution on variable initializers at the top process level.
Improve use of subvarVisitor and clear stateful contexts after each def visit.
Massive clean up of old unused FIXME and unneeded annotations.
Merge branch 'development' into alrd
Merge remote-tracking branch 'origin/development' into newpog
Reconcile with assitant changes in Overture.

See overture commit #13fb48
Ignore parser target because reasons...
Initial support for post conditions to reset state context.
Thread VarSubVisitor through assistant factory.
Merge remote-tracking branch 'origin/ldc/astntrw' into newpog
Working for Infinite communications example, beo device discovery (simple), beo streaming, beo cosimulation, simple register.
Some improvements to the progress view of the model checker. The user can now cancel the analysis and the underlying FORMULA process is re-started.