17.50/17.55	MAYBE
17.50/17.55	
17.50/17.55	
17.50/17.55	Connected Subgraphs where we couldn't prove Termination:
17.50/17.55	--------------------------------------------------------
17.50/17.55	SCC:
17.50/17.55	+--transitions: t5
17.50/17.55	+--nodes: n_n_n_l6___2___2___2
17.50/17.55	
17.50/17.55	
17.56/17.61	EOF