8.57/8.62 MAYBE 8.57/8.62 8.57/8.62 8.57/8.62 Termination: (Ranking Functions Found) 8.57/8.62 ------------ 8.57/8.62 f845_0_reverse_NONNULL: < < arg2 > > 8.57/8.62 f565_0_iter_NULL: < < arg2 > > 8.57/8.62 f230_0_alternate_NONNULL: < < arg2 + arg3 > > 8.57/8.62 f717_0_reverseAcc_NONNULL: < < arg2 > > 8.57/8.62 8.57/8.62 8.57/8.62 Connected Subgraphs where we couldn't prove Termination: 8.57/8.62 -------------------------------------------------------- 8.57/8.62 SCC: 8.57/8.62 +--transitions: t3 8.57/8.62 +--nodes: n_n_n_f1096_0_append_NONNULL___3___2___2 8.57/8.62 8.57/8.62 8.66/8.69 EOF