6.98/7.02	MAYBE
6.98/7.02	
6.98/7.02	
6.98/7.02	Connected Subgraphs where we couldn't prove Termination:
6.98/7.02	--------------------------------------------------------
6.98/7.02	SCC:
6.98/7.02	+--transitions: t5
6.98/7.02	+--nodes: n_n_n_l2___1___1___1
6.98/7.02	
6.98/7.02	
7.05/7.11	EOF