3.66/3.69	MAYBE
3.66/3.69	
3.66/3.69	
3.66/3.69	Connected Subgraphs where we couldn't prove Termination:
3.66/3.69	--------------------------------------------------------
3.66/3.69	SCC:
3.66/3.69	+--transitions: t1
3.66/3.69	+--nodes: n_n_n_l0___1___1___1
3.66/3.69	
3.66/3.69	
3.71/3.75	EOF