3.11/3.19	MAYBE
3.11/3.19	
3.11/3.19	
3.11/3.19	Connected Subgraphs where we couldn't prove Termination:
3.11/3.19	--------------------------------------------------------
3.11/3.19	SCC:
3.11/3.19	+--transitions: t1
3.11/3.19	+--nodes: n_n_n_f40_0_increase_LE___1___1___1
3.11/3.19	
3.11/3.19	
3.17/3.25	EOF