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