Add regression test for #251.
Reorder PO list columns and print GLOBAL for POs with no name.
Show full predicate by default.
Clean up PO list viewer and retweak columns.
Initial implementation of styled text PO detail view (syntax highlighting)
fixed #243 added check for the constraint when executed. If it fails the interpreter fails execution with a message stating that the condition was false.
Initial implementation of styled text PO detail view (syntax highlighting)
Remove Seive example since it has been abandoned.

Should also be removed from the SVN repository.
Update test result.
Remove literate CML bits (seems like it confuses the parser).
Merge remote-tracking branch 'origin/newpog' into newpog
updated TC result files for constraint on read comm
Fixed handling of bind type translation in exists expressions.
Merge remote-tracking branches 'origin/alrd', 'origin/newpog' and 'origin/kel/base' into test
added more tests for TC #243
close #255 requires sync with overturetool/overture@dcc7545bda6a266ca39d84313e38d7cb2bdd64a6
Merge remote-tracking branch 'origin/test' into kel/base
Merge remote-tracking branch 'origin/test' into kel/base
changed the interpreter external cosim test cases. with the console matching
Check parsed function signature type to ensure it's actually a function
type, otherwise throw a StuckException.
Fix #229, Fix #256