Divide basic tests into contexts and POs.
Override Overtur's Op Context processing.
Pog prefix to visitor.
Implicit Op Context only collects frame variables.
Parse error now leads to test failure rather than stack trace dump.
Add tests for Ctxt Collection of Implicit Ops.
Sat PO now takes frames into account (although rd and wr are treated equally).
Add console and errors to pog perspective.
Rename test so it runs with maven.
Cope with more Overture renames.
Add rd frames to Satisfiability Op (via x~ = x).
Updated test results with frame rd conditions.
Satisfiability predicate now takes invariant into account.
Merge remote-tracking branch 'origin/development' into newpog
Fix PogPluginConstant references
Test input and result for satisfiability PO with State Invariant.
Merge remote-tracking branch 'origin/development' into newpog
Fix and test for #238.
Test for #239.
    Added new test category for testting POG on complete models.