6.84/6.90	MAYBE
6.84/6.90	
6.84/6.90	
6.84/6.90	Connected Subgraphs where we couldn't prove Termination:
6.84/6.90	--------------------------------------------------------
6.84/6.90	SCC:
6.84/6.90	+--transitions: t1
6.84/6.90	+--nodes: n_n_n_l3___1___1___1
6.84/6.90	
6.84/6.90	
6.91/6.96	EOF