3.65/3.70	MAYBE
3.65/3.70	
3.65/3.70	
3.65/3.70	Connected Subgraphs where we couldn't prove Termination:
3.65/3.70	--------------------------------------------------------
3.65/3.70	SCC:
3.65/3.70	+--transitions: t1
3.65/3.70	+--nodes: n_n_n_f48_0_up_GE___1___1___1
3.65/3.70	
3.65/3.70	
3.72/3.75	EOF