182.38/182.42	MAYBE
182.38/182.42	
182.38/182.42	
182.38/182.42	Termination: (Ranking Functions Found)
182.38/182.42	------------
182.38/182.42	f421_0_createForm_LE: < < arg1 >, < arg1 >, < arg1 >, < arg1 >, < arg1 >, < arg1 >, < -1 >, < arg1 > >
182.38/182.42	f534_0_createForm_InvokeMethod: < < arg2 >, < arg2 >, < arg2 > >
182.38/182.42	f1752_0_createForm_InvokeMethod: < < arg2 >, < arg2 >, < arg2 >, < arg2 >, < -1 + arg1 >, < -1 + arg1 >, < 0 > >
182.38/182.42	f571_0_createForm_InvokeMethod: < < arg2 >, < arg2 >, < -1 + arg1 > >
182.38/182.42	
182.38/182.42	
182.38/182.42	Connected Subgraphs where we couldn't prove Termination:
182.38/182.42	--------------------------------------------------------
182.38/182.42	SCC:
182.38/182.42	+--transitions: t11,t12,t13,t14,t15,t16,t17,t18,t19,t20,t21,t22,t23,t24,t25,t26,t27,t28,t29,t30,t31,t32,t33,t34,t35,t36
182.38/182.42	+--nodes: n_n_n_f2239_0_norm_NONNULL___1___1___1,n_n_n_f2239_0_norm_NONNULL___2___3___3
182.38/182.42	
182.38/182.42	
182.43/182.49	EOF