40.22/40.28	MAYBE
40.22/40.28	
40.22/40.28	
40.22/40.28	Connected Subgraphs where we couldn't prove Termination:
40.22/40.28	--------------------------------------------------------
40.22/40.28	SCC:
40.22/40.28	+--transitions: t5,t6
40.22/40.28	+--nodes: n_n_n_l3___2___1___1
40.22/40.28	
40.22/40.28	
40.31/40.34	EOF