22.47/22.57	MAYBE
22.47/22.57	
22.47/22.57	
22.47/22.57	Connected Subgraphs where we couldn't prove Termination:
22.47/22.57	--------------------------------------------------------
22.47/22.57	SCC:
22.47/22.57	+--transitions: t5
22.47/22.57	+--nodes: n_n_n_l6___2___2___2
22.47/22.57	
22.47/22.57	
22.59/22.63	EOF