13.18/13.28	MAYBE
13.18/13.28	
13.18/13.28	
13.18/13.28	Connected Subgraphs where we couldn't prove Termination:
13.18/13.28	--------------------------------------------------------
13.18/13.28	SCC:
13.18/13.28	+--transitions: t3,t4,t5,t6
13.18/13.28	+--nodes: n_n_n_l0___1___2___2,n_n_n_l0___2___1___1
13.18/13.28	
13.18/13.28	
13.26/13.34	EOF