updated ast-creator to 1.4.1 removing kind methods
Update development version to 0.2.1-SNAPSHOT
Merge remote-tracking branch 'origin/development' into akm
Merge remote-tracking branch 'origin/clausbn' into newpog
Merge branch 'origin/development'
Merge commit '2a04c2cc5b713a085d537fc1584bd7436de92045' into clausbn
Initial steps to disallow reactive constructs in operations
Initial steps to disallow reactive constructs in operations. Causes some issues. Disabled for now.
SequentialCompositionAction type changed to AVoidType
Merged with development and changes in the model checker visitor to fix bugs of milestone 0.1.8.
Replaced ImplicitDef assistant call with visitor application.
Copy from the trace view is now possible
Rearranged the test cml sources with a separate folder for all the statement tests
Subtype PO now reuses more overture code.
Merge remote-tracking branch 'origin/clausbn' into newpog

Conflicts:
	core/typechecker/src/main/java/eu/compassresearch/core/typechecker/CollectGlobalStateClass.java
Merge branch 'master' into development
Merge commit '35b2564aff79e044487b0ed8566ec757dccd66f4' into development
Merge commit 'e3c76b4e31d6086199ff5f0ecf49563bfe3be063' into development
Added tests for chansets
Implemented invariant check for assignment