5.50/5.55	MAYBE
5.50/5.55	
5.50/5.55	
5.50/5.55	Connected Subgraphs where we couldn't prove Termination:
5.50/5.55	--------------------------------------------------------
5.50/5.55	SCC:
5.50/5.55	+--transitions: t1,t2,t3
5.50/5.55	+--nodes: n_n_n_l0___3___2___2,n_n_n_l1___2___1___1
5.50/5.55	
5.50/5.55	
5.57/5.61	EOF