NO


NON-Termination:
----------------
SCC:
+--transitions: t27,t28,t29,t30,t31,t32,t33,t34,t35,t36,t37,t38,t39,t40
+--nodes: f2239_0_norm_NONNULL,f2738_0_norm_InvokeMethod
Closed walk: 1 -> t29
deterministic: Forced for: arg1P, arg1P, arg1P
Reachability checked!
- Recurrent Set Found:
{
	-3 + arg1P == 0,
	-3 + arg1 == 0
}
Connected Subgraphs where we couldn't prove Termination:
--------------------------------------------------------
SCC:
+--transitions: t14,t15,t16,t17,t18,t19,t20,t21,t22,t23,t24,t25,t26
+--nodes: f1752_0_createForm_InvokeMethod,f421_0_createForm_LE,f534_0_createForm_InvokeMethod,f571_0_createForm_InvokeMethod


method 1