testgroup StringExpressions for statechart StringExpressions	{
	test StringExpressionsTest {
		
		assert quotedStringX == '"X"'
		assert quotedStringY == "\"Y\""
		enter
		assert active(StringExpressions.main_region.AssignmentChecked)
		
		
		raise e
		cycle
		assert active(StringExpressions.main_region.VarToVarCompareSucceeded)
		assert guardStringEqual
		assert guardStringNotEqual
		assert stringVarEqual
		assert stringVarNotEqual
		
		raise e
		cycle
		assert active(StringExpressions.main_region.VarToConstCompareSucceeded)	
		assert guardStringEqual
		assert guardStringNotEqual
		assert stringVarEqual
		assert stringVarNotEqual
		
		raise e
		cycle
		assert active(StringExpressions.main_region.ConstToVarCompareSucceeded)		
		assert guardStringEqual
		assert guardStringNotEqual
		assert stringVarEqual
		assert stringVarNotEqual
		
		raise e		
		cycle
		assert active(StringExpressions.main_region.ConstToConstCompareSucceeded)
		assert guardStringEqual
		assert guardStringNotEqual
		assert stringVarEqual
		assert stringVarNotEqual
		
	}
}