216.60/216.63	MAYBE
216.60/216.63	
216.60/216.63	
216.60/216.63	Connected Subgraphs where we couldn't prove Termination:
216.60/216.63	--------------------------------------------------------
216.60/216.63	SCC:
216.60/216.63	+--transitions: t6
216.60/216.63	+--nodes: n_n_n_l7___9___5___5
216.60/216.63	
216.60/216.63	
216.66/216.71	EOF