15.18/15.26	MAYBE
15.18/15.26	
15.18/15.26	
15.18/15.26	Connected Subgraphs where we couldn't prove Termination:
15.18/15.26	--------------------------------------------------------
15.18/15.26	SCC:
15.18/15.26	+--transitions: t6,t7,t8
15.18/15.26	+--nodes: n_n_n_l0___3___1___1,n_n_n_l1___5___3___3
15.18/15.26	
15.18/15.26	
15.31/15.32	EOF