Fixed CCS semantics bug
..
Merge branch 'UnitTesting' into CCS