23.87/23.96	MAYBE
23.87/23.96	
23.87/23.96	
23.87/23.96	Connected Subgraphs where we couldn't prove Termination:
23.87/23.96	--------------------------------------------------------
23.87/23.96	SCC:
23.87/23.96	+--transitions: t5
23.87/23.96	+--nodes: n_n_n_l6___2___2___2
23.87/23.96	
23.87/23.96	
23.95/24.03	EOF