Added (compilable) tests for ConcurrentCompositeState