10.72/10.77	MAYBE
10.72/10.77	
10.72/10.77	
10.72/10.77	Connected Subgraphs where we couldn't prove Termination:
10.72/10.77	--------------------------------------------------------
10.72/10.77	SCC:
10.72/10.77	+--transitions: t6,t7,t8
10.72/10.77	+--nodes: n_n_n_l0___2___2___2,n_n_n_l1___3___3___3
10.72/10.77	
10.72/10.77	
10.79/10.84	EOF