MAYBE


Termination: (Ranking Functions Found)
------------
f1410_0_append_NULL: < < arg2 > >
f2274_0_createTree_LE: < < arg3 >, < arg3 >, < arg3 >, < arg3 >, < arg3 >, < arg3 > >


Connected Subgraphs where we couldn't prove Termination:
--------------------------------------------------------
SCC:
+--transitions: t10,t11,t12,t13,t14,t7,t8,t9
+--nodes: n_n_n_f1394_0_less_leaves_NULL___1___3___3,n_n_n_f1394_0_less_leaves_NULL___2___2___2,n_n_n_f1554_0_less_leaves_InvokeMethod___3___5___5,n_n_n_f1554_0_less_leaves_InvokeMethod___4___4___4