Merge remote-tracking branch 'origin/development' into akm
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
Changes int he graph builder component.
Delete obsolete test script
Add recognition for configuration block syntax (no AST yet)
Merge commit '68934c9d3c0c36d5b8ad1562826bcd359cffe16b' into development
Merge commit '38bbe36507b7d5813eda5d479bbe4503f08a7767' into development