7.97/8.04	MAYBE
7.97/8.04	
7.97/8.04	
7.97/8.04	Connected Subgraphs where we couldn't prove Termination:
7.97/8.04	--------------------------------------------------------
7.97/8.04	SCC:
7.97/8.04	+--transitions: t4
7.97/8.04	+--nodes: n_n_n_l2___1___1___1
7.97/8.04	
7.97/8.04	
8.09/8.11	EOF