19.01/19.03	MAYBE
19.01/19.03	
19.01/19.03	
19.01/19.03	Connected Subgraphs where we couldn't prove Termination:
19.01/19.03	--------------------------------------------------------
19.01/19.03	SCC:
19.01/19.03	+--transitions: t3,t4,t5,t6
19.01/19.03	+--nodes: n_n_n_l0___1___2___2,n_n_n_l0___2___1___1
19.01/19.03	
19.01/19.03	
19.01/19.09	EOF