Semantic check when entering a composite state