23.25/23.34	MAYBE
23.25/23.34	
23.25/23.34	
23.25/23.34	Connected Subgraphs where we couldn't prove Termination:
23.25/23.34	--------------------------------------------------------
23.25/23.34	SCC:
23.25/23.34	+--transitions: t5
23.25/23.34	+--nodes: n_n_n_l6___2___2___2
23.25/23.34	
23.25/23.34	
23.36/23.40	EOF