23.84/23.90	MAYBE
23.84/23.90	
23.84/23.90	
23.84/23.90	Connected Subgraphs where we couldn't prove Termination:
23.84/23.90	--------------------------------------------------------
23.84/23.90	SCC:
23.84/23.90	+--transitions: t5
23.84/23.90	+--nodes: n_n_n_l6___2___2___2
23.84/23.90	
23.84/23.90	
23.93/23.96	EOF