197.22/197.26	MAYBE
197.22/197.26	
197.22/197.26	
197.22/197.26	Connected Subgraphs where we couldn't prove Termination:
197.22/197.26	--------------------------------------------------------
197.22/197.26	SCC:
197.22/197.26	+--transitions: t6
197.22/197.26	+--nodes: n_n_n_l7___9___5___5
197.22/197.26	
197.22/197.26	
197.32/197.33	EOF