27.16/27.19 MAYBE 27.16/27.19 27.16/27.19 27.16/27.19 Termination: (Ranking Functions Found) 27.16/27.19 ------------ 27.16/27.19 f217_0_merge_NONNULL: < < arg2 >, < arg1 > > 27.16/27.19 27.16/27.19 27.16/27.19 Connected Subgraphs where we couldn't prove Termination: 27.16/27.19 -------------------------------------------------------- 27.16/27.19 SCC: 27.16/27.19 +--transitions: t17 27.16/27.19 +--nodes: n_n_n_f1341_0_append_NONNULL___3___4___4 27.16/27.19 27.16/27.19 27.22/27.25 EOF