50.48/50.52	MAYBE
50.48/50.52	
50.48/50.52	
50.48/50.52	Connected Subgraphs where we couldn't prove Termination:
50.48/50.52	--------------------------------------------------------
50.48/50.52	SCC:
50.48/50.52	+--transitions: t4
50.48/50.52	+--nodes: n_n_n_l8___2___1___1
50.48/50.52	
50.48/50.52	
50.57/50.58	EOF