5.04/5.07	MAYBE
5.04/5.07	
5.04/5.07	
5.04/5.07	Connected Subgraphs where we couldn't prove Termination:
5.04/5.07	--------------------------------------------------------
5.04/5.07	SCC:
5.04/5.07	+--transitions: t1
5.04/5.07	+--nodes: n_n_n_l0___1___1___1
5.04/5.07	
5.04/5.07	
5.12/5.14	EOF