42.16/42.25 MAYBE 42.16/42.25 42.16/42.25 42.16/42.25 Termination: (Ranking Functions Found) 42.16/42.25 ------------ 42.16/42.25 f2274_0_createTree_LE: < < arg3 >, < arg3 >, < arg3 >, < arg3 >, < arg3 >, < arg3 > > 42.16/42.25 f1410_0_append_NULL: < < arg2 > > 42.16/42.25 42.16/42.25 42.16/42.25 Connected Subgraphs where we couldn't prove Termination: 42.16/42.25 -------------------------------------------------------- 42.16/42.25 SCC: 42.16/42.25 +--transitions: t10,t11,t12,t13,t14,t7,t8,t9 42.16/42.25 +--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 42.16/42.25 42.16/42.25 42.29/42.32 EOF