22.22/22.26 MAYBE 22.22/22.26 22.22/22.26 22.22/22.26 Termination: (Ranking Functions Found) 22.22/22.26 ------------ 22.22/22.26 f962_0_main_LE: < < arg3 >, < arg3 > > 22.22/22.26 f2482_0_createTree_LE: < < arg3 >, < arg3 >, < arg3 >, < arg3 >, < arg2 >, < arg3 > > 22.22/22.26 22.22/22.26 22.22/22.26 Connected Subgraphs where we couldn't prove Termination: 22.22/22.26 -------------------------------------------------------- 22.22/22.26 SCC: 22.22/22.26 +--transitions: t4,t5,t6,t7 22.22/22.26 +--nodes: n_n_n_f1548_0_flatten_NULL___1___1___1,n_n_n_f1548_0_flatten_NULL___2___2___2 22.22/22.26 22.22/22.26 22.22/22.33 EOF