updated ast creater version to 1.4.4
specialized types of functions and operations. Beaware that is is still possible to set the type wrong. Pending issue with ast creator to reject this.
added listner for errors and warnings to overture. This may be used by extensions to allow them to copy over all messages in-order
fixed type error in java
Merge commit 'ab8400481048c6584ffbd32154867dc4283f1c53' into kel/astv2
SubtypePO constructor is meant to be private.
Improved handling of Operatation Parameters in contexts.
Cloning function parameters when used in the pre condition
Printing PO kind in adhoctest.
Fixed result generation (should be exists not forall).
More cloning: cexp for case and notcase contexts.
preperation for use of build in THIS
restructured the Overture AST for functions and operations. The nodes are named the same but they now have operation/function parents. Fields are re-ordered
added listener interface for error/warning reporting
Merge branch 'origin/compass/test'
updated ast creator version 1.4.5 for pog
made the type wider using the ast generated interfaces
extracted the set state out from the generation of implicit pre and post definitions
moved rootvisitor field to base class. It should be removed but the conversion of utility functions which still required this concrete type and not just the interface needs to be corrected first.

added functionality that makes all unknown node applications delegated back to defaultnode in the root visitor
added new experimental test framework version for junit 4 - currently being used in compass by the type checker
added initial static access for type definitions when created in the factory
updated ast-creator version to version 1.5.0
updated dot to support multiple nodes and have filters and better set of main dot bin file
removed unessesary nesting for defletdetstm -> letstm

changed arguments from concrete types to interfaces in astfactory and pog
commented explicitly failing test. It was empty but make mvn test fail