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.
added connection error messages to console view
commit merged handling for papyrus .uml files from local development to COMPASS branch
adjusted signal view graphs so that they all have the same x-range
fixed PR #233: Problem when opening the Properties/RT-Tester window
Merge commit 'b4177db373893505545566cb8e5cca43e58d27ff' into uwe
Fix for null-pointer exception following the fix for PR#233
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