9.40/9.56	MAYBE
9.40/9.56	
9.40/9.56	
9.40/9.56	Connected Subgraphs where we couldn't prove Termination:
9.40/9.56	--------------------------------------------------------
9.40/9.56	SCC:
9.40/9.56	+--transitions: t1
9.40/9.56	+--nodes: n_n_n_l0___5___3___3
9.40/9.56	
9.40/9.56	
9.47/9.62	EOF