testclass Declarations for statechart Declarations {
	@Test
	operation declarationsTest(){
		enter
	}
}