3.48/3.56	MAYBE
3.48/3.56	
3.48/3.56	
3.48/3.56	Termination: (Ranking Functions Found)
3.48/3.56	------------
3.48/3.56	f491_0_createIntList_LE: < < arg1 > >
3.48/3.56	
3.48/3.56	
3.48/3.56	Connected Subgraphs where we couldn't prove Termination:
3.48/3.56	--------------------------------------------------------
3.48/3.56	SCC:
3.48/3.56	+--transitions: t1
3.48/3.56	+--nodes: n_n_n_f376_0_main_FieldAccess___1___1___1
3.48/3.56	
3.48/3.56	
3.57/3.61	EOF