7.56/7.61	MAYBE
7.56/7.61	
7.56/7.61	
7.56/7.61	Connected Subgraphs where we couldn't prove Termination:
7.56/7.61	--------------------------------------------------------
7.56/7.61	SCC:
7.56/7.61	+--transitions: t1
7.56/7.61	+--nodes: n_n_n_f169_0_loop_EQ___2___1___1
7.56/7.61	
7.56/7.61	
7.60/7.67	EOF