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