12.00/12.04	MAYBE
12.00/12.04	
12.00/12.04	
12.00/12.04	Connected Subgraphs where we couldn't prove Termination:
12.00/12.04	--------------------------------------------------------
12.00/12.04	SCC:
12.00/12.04	+--transitions: t1,t2,t3,t4
12.00/12.04	+--nodes: n_n_n_l0___1___1___1,n_n_n_l0___3___2___2
12.00/12.04	
12.00/12.04	
12.05/12.11	EOF