6.77/6.79	MAYBE
6.77/6.79	
6.77/6.79	
6.77/6.79	Connected Subgraphs where we couldn't prove Termination:
6.77/6.79	--------------------------------------------------------
6.77/6.79	SCC:
6.77/6.79	+--transitions: t1
6.77/6.79	+--nodes: n_n_n_l2___1___1___1
6.77/6.79	
6.77/6.79	
6.80/6.86	EOF