Its now possible to use a communication input var in the same event, thus something like a?x.(x-2) is now possible. Added a test case for this
updated test to support new test framework

sync

overturetool/overture@29734ec772cb7c40fb58a39096572ffef8f33426
Update pom.xmls to use new AU buildserver
Fixed in the UI of the model checker.
Merge remote-tracking branch 'origin/development' into akm
added extends keyword to ide
fixed property if for classes test
added missing name to chansetdefinition in variablenamecollector
code format
enabled the type checker to check classes which uses inheritance
Merge branch 'origin/akm'
Merge branch 'origin/test'
Merge commit '16cc2ce48372fa02c54e6b462320fb1b3d6dc7f3' into development
Merge commit '48f031cdfa70bc7e75466afa934376da2ead6ea7' into development
Merge commit '3023d489e3ea582dde4566e4ebfd695df3f816bc' into development
Fix #183 where parser errors were reported much earlier than they occurred
Merge remote-tracking branch 'origin/development' into akm
Fixed a bug in the parser which did not set the channelsets in alphabetised parallel action for the variant where only channelsets are given. Also fixed a typechecker which did not check for empty namesets and therefore failed when they are
alphabetised parallelism for actions without state implemented
enabled breakpoints in stms and exps. Added new refresh of thread state