1.19/1.24	MAYBE
1.19/1.24	
1.19/1.24	
1.19/1.24	Connected Subgraphs where we couldn't prove Termination:
1.19/1.24	--------------------------------------------------------
1.19/1.24	SCC:
1.19/1.24	+--transitions: t0
1.19/1.24	+--nodes: f25_0_main_JMP
1.19/1.24	
1.19/1.24	
1.19/1.29	EOF