23.64/23.71	MAYBE
23.64/23.71	
23.64/23.71	
23.64/23.71	Connected Subgraphs where we couldn't prove Termination:
23.64/23.71	--------------------------------------------------------
23.64/23.71	SCC:
23.64/23.71	+--transitions: t5
23.64/23.71	+--nodes: n_n_n_l6___2___2___2
23.64/23.71	
23.64/23.71	
23.74/23.78	EOF