6.69/6.70	MAYBE
6.69/6.70	
6.69/6.70	
6.69/6.70	Connected Subgraphs where we couldn't prove Termination:
6.69/6.70	--------------------------------------------------------
6.69/6.70	SCC:
6.69/6.70	+--transitions: t3,t4
6.69/6.70	+--nodes: n_n_n_f104_0_loop_EQ___1___1___1
6.69/6.70	
6.69/6.70	
6.69/6.77	EOF