3.62/3.67	MAYBE
3.62/3.67	
3.62/3.67	
3.62/3.67	Connected Subgraphs where we couldn't prove Termination:
3.62/3.67	--------------------------------------------------------
3.62/3.67	SCC:
3.62/3.67	+--transitions: t1
3.62/3.67	+--nodes: n_n_n_l0___1___1___1
3.62/3.67	
3.62/3.67	
3.68/3.73	EOF