4.47/4.52	MAYBE
4.47/4.52	
4.47/4.52	
4.47/4.52	Connected Subgraphs where we couldn't prove Termination:
4.47/4.52	--------------------------------------------------------
4.47/4.52	SCC:
4.47/4.52	+--transitions: t4
4.47/4.52	+--nodes: n_n_n_l0___2___1___1
4.47/4.52	
4.47/4.52	
4.47/4.58	EOF