3.86/3.90	MAYBE
3.86/3.90	
3.86/3.90	
3.86/3.90	Connected Subgraphs where we couldn't prove Termination:
3.86/3.90	--------------------------------------------------------
3.86/3.90	SCC:
3.86/3.90	+--transitions: t1
3.86/3.90	+--nodes: n_n_n_l0___1___1___1
3.86/3.90	
3.86/3.90	
3.92/3.96	EOF