testgroup STextKeywordsInStatesAndRegions for statechart STextKeywordsInStatesAndRegions{
	test activeCheckWithSTextNamedStates { 
		
		enter
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.interface)
		assert active(STextKeywordsInStatesAndRegions.namespace.event)
		assert active(STextKeywordsInStatesAndRegions.local.in)
		assert active(STextKeywordsInStatesAndRegions.interface.var)
		assert active(STextKeywordsInStatesAndRegions.internal.external)
		assert active(STextKeywordsInStatesAndRegions.event.default)
		assert active(STextKeywordsInStatesAndRegions.in.entry)
		assert active(STextKeywordsInStatesAndRegions.out.always)
		assert active(STextKeywordsInStatesAndRegions.var.raise)
		assert active(STextKeywordsInStatesAndRegions.readonly.active)
		assert active(STextKeywordsInStatesAndRegions.external.interface)
		assert active(STextKeywordsInStatesAndRegions.else.event)
		assert active(STextKeywordsInStatesAndRegions.entry.in)
		assert active(STextKeywordsInStatesAndRegions.exit.var)
		assert active(STextKeywordsInStatesAndRegions.always.external)
		assert active(STextKeywordsInStatesAndRegions.oncycle.default)
		assert active(STextKeywordsInStatesAndRegions.raise.entry)
		assert active(STextKeywordsInStatesAndRegions.valueof.always)
		assert active(STextKeywordsInStatesAndRegions.active.raise)
				
		raise e1
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) //x
		assert active(STextKeywordsInStatesAndRegions.namespace.event)
		assert active(STextKeywordsInStatesAndRegions.local.in)
		assert active(STextKeywordsInStatesAndRegions.interface.var)
		assert active(STextKeywordsInStatesAndRegions.internal.external)
		assert active(STextKeywordsInStatesAndRegions.event.default)
		assert active(STextKeywordsInStatesAndRegions.in.entry)
		assert active(STextKeywordsInStatesAndRegions.out.always)
		assert active(STextKeywordsInStatesAndRegions.var.raise)
		assert active(STextKeywordsInStatesAndRegions.readonly.active)
		assert active(STextKeywordsInStatesAndRegions.external.interface)
		assert active(STextKeywordsInStatesAndRegions.else.event)
		assert active(STextKeywordsInStatesAndRegions.entry.in)
		assert active(STextKeywordsInStatesAndRegions.exit.var)
		assert active(STextKeywordsInStatesAndRegions.always.external)
		assert active(STextKeywordsInStatesAndRegions.oncycle.default)
		assert active(STextKeywordsInStatesAndRegions.raise.entry)
		assert active(STextKeywordsInStatesAndRegions.valueof.always)
		assert active(STextKeywordsInStatesAndRegions.active.raise)
		
		raise e2
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local) //x
		assert active(STextKeywordsInStatesAndRegions.local.in)
		assert active(STextKeywordsInStatesAndRegions.interface.var)
		assert active(STextKeywordsInStatesAndRegions.internal.external)
		assert active(STextKeywordsInStatesAndRegions.event.default)
		assert active(STextKeywordsInStatesAndRegions.in.entry)
		assert active(STextKeywordsInStatesAndRegions.out.always)
		assert active(STextKeywordsInStatesAndRegions.var.raise)
		assert active(STextKeywordsInStatesAndRegions.readonly.active)
		assert active(STextKeywordsInStatesAndRegions.external.interface)
		assert active(STextKeywordsInStatesAndRegions.else.event)
		assert active(STextKeywordsInStatesAndRegions.entry.in)
		assert active(STextKeywordsInStatesAndRegions.exit.var)
		assert active(STextKeywordsInStatesAndRegions.always.external)
		assert active(STextKeywordsInStatesAndRegions.oncycle.default)
		assert active(STextKeywordsInStatesAndRegions.raise.entry)
		assert active(STextKeywordsInStatesAndRegions.valueof.always)
		assert active(STextKeywordsInStatesAndRegions.active.raise)
		
		raise e1
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local)
		assert active(STextKeywordsInStatesAndRegions.local.out) //x
		assert active(STextKeywordsInStatesAndRegions.interface.var)
		assert active(STextKeywordsInStatesAndRegions.internal.external)
		assert active(STextKeywordsInStatesAndRegions.event.default)
		assert active(STextKeywordsInStatesAndRegions.in.entry)
		assert active(STextKeywordsInStatesAndRegions.out.always)
		assert active(STextKeywordsInStatesAndRegions.var.raise)
		assert active(STextKeywordsInStatesAndRegions.readonly.active)
		assert active(STextKeywordsInStatesAndRegions.external.interface)
		assert active(STextKeywordsInStatesAndRegions.else.event)
		assert active(STextKeywordsInStatesAndRegions.entry.in)
		assert active(STextKeywordsInStatesAndRegions.exit.var)
		assert active(STextKeywordsInStatesAndRegions.always.external)
		assert active(STextKeywordsInStatesAndRegions.oncycle.default)
		assert active(STextKeywordsInStatesAndRegions.raise.entry)
		assert active(STextKeywordsInStatesAndRegions.valueof.always)
		assert active(STextKeywordsInStatesAndRegions.active.raise)
		
		raise e2
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local)
		assert active(STextKeywordsInStatesAndRegions.local.out)
		assert active(STextKeywordsInStatesAndRegions.interface.readonly) //x
		assert active(STextKeywordsInStatesAndRegions.internal.external)
		assert active(STextKeywordsInStatesAndRegions.event.default)
		assert active(STextKeywordsInStatesAndRegions.in.entry)
		assert active(STextKeywordsInStatesAndRegions.out.always)
		assert active(STextKeywordsInStatesAndRegions.var.raise)
		assert active(STextKeywordsInStatesAndRegions.readonly.active)
		assert active(STextKeywordsInStatesAndRegions.external.interface)
		assert active(STextKeywordsInStatesAndRegions.else.event)
		assert active(STextKeywordsInStatesAndRegions.entry.in)
		assert active(STextKeywordsInStatesAndRegions.exit.var)
		assert active(STextKeywordsInStatesAndRegions.always.external)
		assert active(STextKeywordsInStatesAndRegions.oncycle.default)
		assert active(STextKeywordsInStatesAndRegions.raise.entry)
		assert active(STextKeywordsInStatesAndRegions.valueof.always)
		assert active(STextKeywordsInStatesAndRegions.active.raise)		
		
		raise e1	
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local)
		assert active(STextKeywordsInStatesAndRegions.local.out)
		assert active(STextKeywordsInStatesAndRegions.interface.readonly)
		assert active(STextKeywordsInStatesAndRegions.internal.operation) //x
		assert active(STextKeywordsInStatesAndRegions.event.default)
		assert active(STextKeywordsInStatesAndRegions.in.entry)
		assert active(STextKeywordsInStatesAndRegions.out.always)
		assert active(STextKeywordsInStatesAndRegions.var.raise)
		assert active(STextKeywordsInStatesAndRegions.readonly.active)
		assert active(STextKeywordsInStatesAndRegions.external.interface)
		assert active(STextKeywordsInStatesAndRegions.else.event)
		assert active(STextKeywordsInStatesAndRegions.entry.in)
		assert active(STextKeywordsInStatesAndRegions.exit.var)
		assert active(STextKeywordsInStatesAndRegions.always.external)
		assert active(STextKeywordsInStatesAndRegions.oncycle.default)
		assert active(STextKeywordsInStatesAndRegions.raise.entry)
		assert active(STextKeywordsInStatesAndRegions.valueof.always)
		assert active(STextKeywordsInStatesAndRegions.active.raise)			
		
		raise e2
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local)
		assert active(STextKeywordsInStatesAndRegions.local.out)
		assert active(STextKeywordsInStatesAndRegions.interface.readonly)
		assert active(STextKeywordsInStatesAndRegions.internal.operation)
		assert active(STextKeywordsInStatesAndRegions.event.else) //x
		assert active(STextKeywordsInStatesAndRegions.in.entry)
		assert active(STextKeywordsInStatesAndRegions.out.always)
		assert active(STextKeywordsInStatesAndRegions.var.raise)
		assert active(STextKeywordsInStatesAndRegions.readonly.active)
		assert active(STextKeywordsInStatesAndRegions.external.interface)
		assert active(STextKeywordsInStatesAndRegions.else.event)
		assert active(STextKeywordsInStatesAndRegions.entry.in)
		assert active(STextKeywordsInStatesAndRegions.exit.var)
		assert active(STextKeywordsInStatesAndRegions.always.external)
		assert active(STextKeywordsInStatesAndRegions.oncycle.default)
		assert active(STextKeywordsInStatesAndRegions.raise.entry)
		assert active(STextKeywordsInStatesAndRegions.valueof.always)
		assert active(STextKeywordsInStatesAndRegions.active.raise)	
		 
		raise e1
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local)
		assert active(STextKeywordsInStatesAndRegions.local.out)
		assert active(STextKeywordsInStatesAndRegions.interface.readonly)
		assert active(STextKeywordsInStatesAndRegions.internal.operation)
		assert active(STextKeywordsInStatesAndRegions.event.else)
		assert active(STextKeywordsInStatesAndRegions.in.exit) //x
		assert active(STextKeywordsInStatesAndRegions.out.always) 
		assert active(STextKeywordsInStatesAndRegions.var.raise)
		assert active(STextKeywordsInStatesAndRegions.readonly.active)
		assert active(STextKeywordsInStatesAndRegions.external.interface)
		assert active(STextKeywordsInStatesAndRegions.else.event)
		assert active(STextKeywordsInStatesAndRegions.entry.in)
		assert active(STextKeywordsInStatesAndRegions.exit.var)
		assert active(STextKeywordsInStatesAndRegions.always.external)
		assert active(STextKeywordsInStatesAndRegions.oncycle.default)
		assert active(STextKeywordsInStatesAndRegions.raise.entry)
		assert active(STextKeywordsInStatesAndRegions.valueof.always)
		assert active(STextKeywordsInStatesAndRegions.active.raise)			 
		 
		raise e2
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local)
		assert active(STextKeywordsInStatesAndRegions.local.out)
		assert active(STextKeywordsInStatesAndRegions.interface.readonly)
		assert active(STextKeywordsInStatesAndRegions.internal.operation)
		assert active(STextKeywordsInStatesAndRegions.event.else)
		assert active(STextKeywordsInStatesAndRegions.in.exit)
		assert active(STextKeywordsInStatesAndRegions.out.oncycle) //x 
		assert active(STextKeywordsInStatesAndRegions.var.raise)
		assert active(STextKeywordsInStatesAndRegions.readonly.active)
		assert active(STextKeywordsInStatesAndRegions.external.interface)
		assert active(STextKeywordsInStatesAndRegions.else.event)
		assert active(STextKeywordsInStatesAndRegions.entry.in)
		assert active(STextKeywordsInStatesAndRegions.exit.var)
		assert active(STextKeywordsInStatesAndRegions.always.external)
		assert active(STextKeywordsInStatesAndRegions.oncycle.default)
		assert active(STextKeywordsInStatesAndRegions.raise.entry)
		assert active(STextKeywordsInStatesAndRegions.valueof.always)
		assert active(STextKeywordsInStatesAndRegions.active.raise)				 
		 
		raise e1
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local)
		assert active(STextKeywordsInStatesAndRegions.local.out)
		assert active(STextKeywordsInStatesAndRegions.interface.readonly)
		assert active(STextKeywordsInStatesAndRegions.internal.operation)
		assert active(STextKeywordsInStatesAndRegions.event.else)
		assert active(STextKeywordsInStatesAndRegions.in.exit)
		assert active(STextKeywordsInStatesAndRegions.out.oncycle) 
		assert active(STextKeywordsInStatesAndRegions.var.valueof) //x
		assert active(STextKeywordsInStatesAndRegions.readonly.active)
		assert active(STextKeywordsInStatesAndRegions.external.interface)
		assert active(STextKeywordsInStatesAndRegions.else.event)
		assert active(STextKeywordsInStatesAndRegions.entry.in)
		assert active(STextKeywordsInStatesAndRegions.exit.var)
		assert active(STextKeywordsInStatesAndRegions.always.external)
		assert active(STextKeywordsInStatesAndRegions.oncycle.default)
		assert active(STextKeywordsInStatesAndRegions.raise.entry)
		assert active(STextKeywordsInStatesAndRegions.valueof.always)
		assert active(STextKeywordsInStatesAndRegions.active.raise)	
		
		raise e2
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local)
		assert active(STextKeywordsInStatesAndRegions.local.out)
		assert active(STextKeywordsInStatesAndRegions.interface.readonly)
		assert active(STextKeywordsInStatesAndRegions.internal.operation)
		assert active(STextKeywordsInStatesAndRegions.event.else)
		assert active(STextKeywordsInStatesAndRegions.in.exit)
		assert active(STextKeywordsInStatesAndRegions.out.oncycle) 
		assert active(STextKeywordsInStatesAndRegions.var.valueof)
		assert active(STextKeywordsInStatesAndRegions.readonly.namespace) //x
		assert active(STextKeywordsInStatesAndRegions.external.interface)
		assert active(STextKeywordsInStatesAndRegions.else.event)
		assert active(STextKeywordsInStatesAndRegions.entry.in)
		assert active(STextKeywordsInStatesAndRegions.exit.var)
		assert active(STextKeywordsInStatesAndRegions.always.external)
		assert active(STextKeywordsInStatesAndRegions.oncycle.default)
		assert active(STextKeywordsInStatesAndRegions.raise.entry)
		assert active(STextKeywordsInStatesAndRegions.valueof.always)
		assert active(STextKeywordsInStatesAndRegions.active.raise)	
		
		raise e1
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local)
		assert active(STextKeywordsInStatesAndRegions.local.out)
		assert active(STextKeywordsInStatesAndRegions.interface.readonly)
		assert active(STextKeywordsInStatesAndRegions.internal.operation)
		assert active(STextKeywordsInStatesAndRegions.event.else)
		assert active(STextKeywordsInStatesAndRegions.in.exit)
		assert active(STextKeywordsInStatesAndRegions.out.oncycle) 
		assert active(STextKeywordsInStatesAndRegions.var.valueof)
		assert active(STextKeywordsInStatesAndRegions.readonly.namespace)
		assert active(STextKeywordsInStatesAndRegions.external.internal) //x
		assert active(STextKeywordsInStatesAndRegions.else.event)
		assert active(STextKeywordsInStatesAndRegions.entry.in)
		assert active(STextKeywordsInStatesAndRegions.exit.var)
		assert active(STextKeywordsInStatesAndRegions.always.external)
		assert active(STextKeywordsInStatesAndRegions.oncycle.default)
		assert active(STextKeywordsInStatesAndRegions.raise.entry)
		assert active(STextKeywordsInStatesAndRegions.valueof.always)
		assert active(STextKeywordsInStatesAndRegions.active.raise)	
		
		raise e2
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local)
		assert active(STextKeywordsInStatesAndRegions.local.out)
		assert active(STextKeywordsInStatesAndRegions.interface.readonly)
		assert active(STextKeywordsInStatesAndRegions.internal.operation)
		assert active(STextKeywordsInStatesAndRegions.event.else)
		assert active(STextKeywordsInStatesAndRegions.in.exit)
		assert active(STextKeywordsInStatesAndRegions.out.oncycle) 
		assert active(STextKeywordsInStatesAndRegions.var.valueof)
		assert active(STextKeywordsInStatesAndRegions.readonly.namespace)
		assert active(STextKeywordsInStatesAndRegions.external.internal)
		assert active(STextKeywordsInStatesAndRegions.else.local) //x
		assert active(STextKeywordsInStatesAndRegions.entry.in)
		assert active(STextKeywordsInStatesAndRegions.exit.var)
		assert active(STextKeywordsInStatesAndRegions.always.external)
		assert active(STextKeywordsInStatesAndRegions.oncycle.default)
		assert active(STextKeywordsInStatesAndRegions.raise.entry)
		assert active(STextKeywordsInStatesAndRegions.valueof.always)
		assert active(STextKeywordsInStatesAndRegions.active.raise)	
		
		raise e1
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local)
		assert active(STextKeywordsInStatesAndRegions.local.out)
		assert active(STextKeywordsInStatesAndRegions.interface.readonly)
		assert active(STextKeywordsInStatesAndRegions.internal.operation)
		assert active(STextKeywordsInStatesAndRegions.event.else)
		assert active(STextKeywordsInStatesAndRegions.in.exit)
		assert active(STextKeywordsInStatesAndRegions.out.oncycle) 
		assert active(STextKeywordsInStatesAndRegions.var.valueof)
		assert active(STextKeywordsInStatesAndRegions.readonly.namespace)
		assert active(STextKeywordsInStatesAndRegions.external.internal)
		assert active(STextKeywordsInStatesAndRegions.else.local)
		assert active(STextKeywordsInStatesAndRegions.entry.out) //x
		assert active(STextKeywordsInStatesAndRegions.exit.var)
		assert active(STextKeywordsInStatesAndRegions.always.external)
		assert active(STextKeywordsInStatesAndRegions.oncycle.default)
		assert active(STextKeywordsInStatesAndRegions.raise.entry)
		assert active(STextKeywordsInStatesAndRegions.valueof.always)
		assert active(STextKeywordsInStatesAndRegions.active.raise)
			
		raise e2	
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local)
		assert active(STextKeywordsInStatesAndRegions.local.out)
		assert active(STextKeywordsInStatesAndRegions.interface.readonly)
		assert active(STextKeywordsInStatesAndRegions.internal.operation)
		assert active(STextKeywordsInStatesAndRegions.event.else)
		assert active(STextKeywordsInStatesAndRegions.in.exit)
		assert active(STextKeywordsInStatesAndRegions.out.oncycle) 
		assert active(STextKeywordsInStatesAndRegions.var.valueof)
		assert active(STextKeywordsInStatesAndRegions.readonly.namespace)
		assert active(STextKeywordsInStatesAndRegions.external.internal)
		assert active(STextKeywordsInStatesAndRegions.else.local)
		assert active(STextKeywordsInStatesAndRegions.entry.out)
		assert active(STextKeywordsInStatesAndRegions.exit.readonly) //x
		assert active(STextKeywordsInStatesAndRegions.always.external)
		assert active(STextKeywordsInStatesAndRegions.oncycle.default)
		assert active(STextKeywordsInStatesAndRegions.raise.entry)
		assert active(STextKeywordsInStatesAndRegions.valueof.always)
		assert active(STextKeywordsInStatesAndRegions.active.raise)		
				 
		raise e1		 
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local)
		assert active(STextKeywordsInStatesAndRegions.local.out)
		assert active(STextKeywordsInStatesAndRegions.interface.readonly)
		assert active(STextKeywordsInStatesAndRegions.internal.operation)
		assert active(STextKeywordsInStatesAndRegions.event.else)
		assert active(STextKeywordsInStatesAndRegions.in.exit)
		assert active(STextKeywordsInStatesAndRegions.out.oncycle) 
		assert active(STextKeywordsInStatesAndRegions.var.valueof)
		assert active(STextKeywordsInStatesAndRegions.readonly.namespace)
		assert active(STextKeywordsInStatesAndRegions.external.internal)
		assert active(STextKeywordsInStatesAndRegions.else.local)
		assert active(STextKeywordsInStatesAndRegions.entry.out)
		assert active(STextKeywordsInStatesAndRegions.exit.readonly)
		assert active(STextKeywordsInStatesAndRegions.always.operation) //x
		assert active(STextKeywordsInStatesAndRegions.oncycle.default)
		assert active(STextKeywordsInStatesAndRegions.raise.entry)
		assert active(STextKeywordsInStatesAndRegions.valueof.always)
		assert active(STextKeywordsInStatesAndRegions.active.raise)					 
		
		raise e2 
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local)
		assert active(STextKeywordsInStatesAndRegions.local.out)
		assert active(STextKeywordsInStatesAndRegions.interface.readonly)
		assert active(STextKeywordsInStatesAndRegions.internal.operation)
		assert active(STextKeywordsInStatesAndRegions.event.else)
		assert active(STextKeywordsInStatesAndRegions.in.exit)
		assert active(STextKeywordsInStatesAndRegions.out.oncycle) 
		assert active(STextKeywordsInStatesAndRegions.var.valueof)
		assert active(STextKeywordsInStatesAndRegions.readonly.namespace)
		assert active(STextKeywordsInStatesAndRegions.external.internal)
		assert active(STextKeywordsInStatesAndRegions.else.local)
		assert active(STextKeywordsInStatesAndRegions.entry.out)
		assert active(STextKeywordsInStatesAndRegions.exit.readonly)
		assert active(STextKeywordsInStatesAndRegions.always.operation)
		assert active(STextKeywordsInStatesAndRegions.oncycle.else) //x
		assert active(STextKeywordsInStatesAndRegions.raise.entry)
		assert active(STextKeywordsInStatesAndRegions.valueof.always)
		assert active(STextKeywordsInStatesAndRegions.active.raise)	
		 
		raise e1 
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local)
		assert active(STextKeywordsInStatesAndRegions.local.out)
		assert active(STextKeywordsInStatesAndRegions.interface.readonly)
		assert active(STextKeywordsInStatesAndRegions.internal.operation)
		assert active(STextKeywordsInStatesAndRegions.event.else)
		assert active(STextKeywordsInStatesAndRegions.in.exit)
		assert active(STextKeywordsInStatesAndRegions.out.oncycle) 
		assert active(STextKeywordsInStatesAndRegions.var.valueof)
		assert active(STextKeywordsInStatesAndRegions.readonly.namespace)
		assert active(STextKeywordsInStatesAndRegions.external.internal)
		assert active(STextKeywordsInStatesAndRegions.else.local)
		assert active(STextKeywordsInStatesAndRegions.entry.out)
		assert active(STextKeywordsInStatesAndRegions.exit.readonly)
		assert active(STextKeywordsInStatesAndRegions.always.operation)
		assert active(STextKeywordsInStatesAndRegions.oncycle.else)
		assert active(STextKeywordsInStatesAndRegions.raise.exit) //x
		assert active(STextKeywordsInStatesAndRegions.valueof.always)
		assert active(STextKeywordsInStatesAndRegions.active.raise)			 
		
		raise e2 
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local)
		assert active(STextKeywordsInStatesAndRegions.local.out)
		assert active(STextKeywordsInStatesAndRegions.interface.readonly)
		assert active(STextKeywordsInStatesAndRegions.internal.operation)
		assert active(STextKeywordsInStatesAndRegions.event.else)
		assert active(STextKeywordsInStatesAndRegions.in.exit)
		assert active(STextKeywordsInStatesAndRegions.out.oncycle) 
		assert active(STextKeywordsInStatesAndRegions.var.valueof)
		assert active(STextKeywordsInStatesAndRegions.readonly.namespace)
		assert active(STextKeywordsInStatesAndRegions.external.internal)
		assert active(STextKeywordsInStatesAndRegions.else.local)
		assert active(STextKeywordsInStatesAndRegions.entry.out)
		assert active(STextKeywordsInStatesAndRegions.exit.readonly)
		assert active(STextKeywordsInStatesAndRegions.always.operation)
		assert active(STextKeywordsInStatesAndRegions.oncycle.else)
		assert active(STextKeywordsInStatesAndRegions.raise.exit)
		assert active(STextKeywordsInStatesAndRegions.valueof.oncycle) //x
		assert active(STextKeywordsInStatesAndRegions.active.raise)			 
		
		raise e1 
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local)
		assert active(STextKeywordsInStatesAndRegions.local.out)
		assert active(STextKeywordsInStatesAndRegions.interface.readonly)
		assert active(STextKeywordsInStatesAndRegions.internal.operation)
		assert active(STextKeywordsInStatesAndRegions.event.else)
		assert active(STextKeywordsInStatesAndRegions.in.exit)
		assert active(STextKeywordsInStatesAndRegions.out.oncycle) 
		assert active(STextKeywordsInStatesAndRegions.var.valueof)
		assert active(STextKeywordsInStatesAndRegions.readonly.namespace)
		assert active(STextKeywordsInStatesAndRegions.external.internal)
		assert active(STextKeywordsInStatesAndRegions.else.local)
		assert active(STextKeywordsInStatesAndRegions.entry.out)
		assert active(STextKeywordsInStatesAndRegions.exit.readonly)
		assert active(STextKeywordsInStatesAndRegions.always.operation)
		assert active(STextKeywordsInStatesAndRegions.oncycle.else)
		assert active(STextKeywordsInStatesAndRegions.raise.exit)
		assert active(STextKeywordsInStatesAndRegions.valueof.oncycle)
		assert active(STextKeywordsInStatesAndRegions.active.valueof)	//x	 	 
		
		raise e2 
		cycle
		assert active(STextKeywordsInStatesAndRegions.default.namespace)
		assert active(STextKeywordsInStatesAndRegions.operation.internal) 
		assert active(STextKeywordsInStatesAndRegions.namespace.local)
		assert active(STextKeywordsInStatesAndRegions.local.out)
		assert active(STextKeywordsInStatesAndRegions.interface.readonly)
		assert active(STextKeywordsInStatesAndRegions.internal.operation)
		assert active(STextKeywordsInStatesAndRegions.event.else)
		assert active(STextKeywordsInStatesAndRegions.in.exit)
		assert active(STextKeywordsInStatesAndRegions.out.oncycle) 
		assert active(STextKeywordsInStatesAndRegions.var.valueof)
		assert active(STextKeywordsInStatesAndRegions.readonly.namespace)
		assert active(STextKeywordsInStatesAndRegions.external.internal)
		assert active(STextKeywordsInStatesAndRegions.else.local)
		assert active(STextKeywordsInStatesAndRegions.entry.out)
		assert active(STextKeywordsInStatesAndRegions.exit.readonly)
		assert active(STextKeywordsInStatesAndRegions.always.operation)
		assert active(STextKeywordsInStatesAndRegions.oncycle.else)
		assert active(STextKeywordsInStatesAndRegions.raise.exit)
		assert active(STextKeywordsInStatesAndRegions.valueof.oncycle)
		assert active(STextKeywordsInStatesAndRegions.active.valueof)	//x	  stay		 
		 
		
		 
	} 
}
	