5.89/6.41	MAYBE
5.89/6.41	
5.89/6.41	
5.89/6.41	Connected Subgraphs where we couldn't prove Termination:
5.89/6.41	--------------------------------------------------------
5.89/6.41	SCC:
5.89/6.41	+--transitions: t1
5.89/6.41	+--nodes: n_n_n_f87_0_flip_LE___3___1___1
5.89/6.41	
5.89/6.41	
5.99/6.47	EOF