6.12/6.15	MAYBE
6.12/6.15	
6.12/6.15	
6.12/6.15	Connected Subgraphs where we couldn't prove Termination:
6.12/6.15	--------------------------------------------------------
6.12/6.15	SCC:
6.12/6.15	+--transitions: t1
6.12/6.15	+--nodes: n_n_n_f74_0_loop_LE___1___1___1
6.12/6.15	
6.12/6.15	
6.12/6.21	EOF