3.77/3.84	MAYBE
3.77/3.84	
3.77/3.84	
3.77/3.84	Connected Subgraphs where we couldn't prove Termination:
3.77/3.84	--------------------------------------------------------
3.77/3.84	SCC:
3.77/3.84	+--transitions: t1
3.77/3.84	+--nodes: n_n_n_l0___1___1___1
3.77/3.84	
3.77/3.84	
3.88/3.90	EOF