3.05/3.15	MAYBE
3.05/3.15	
3.05/3.15	
3.05/3.15	Connected Subgraphs where we couldn't prove Termination:
3.05/3.15	--------------------------------------------------------
3.05/3.15	SCC:
3.05/3.15	+--transitions: t1
3.05/3.15	+--nodes: n_n_n_f42_0_loop_LE___1___1___1
3.05/3.15	
3.05/3.15	
3.17/3.21	EOF