5.73/5.75	MAYBE
5.73/5.75	
5.73/5.75	
5.73/5.75	Connected Subgraphs where we couldn't prove Termination:
5.73/5.75	--------------------------------------------------------
5.73/5.75	SCC:
5.73/5.75	+--transitions: t1
5.73/5.75	+--nodes: n_n_n_l0___1___1___1
5.73/5.75	
5.73/5.75	
5.79/5.81	EOF