6.17/6.28 MAYBE 6.17/6.28 6.17/6.28 6.17/6.28 Termination: (Ranking Functions Found) 6.17/6.28 ------------ 6.17/6.28 l0: < < - L_0 > > 6.17/6.28 l1: < < 0 > > 6.17/6.28 l3: < < 0 > > 6.17/6.28 6.17/6.28 6.17/6.28 Connected Subgraphs where we couldn't prove Termination: 6.17/6.28 -------------------------------------------------------- 6.17/6.28 SCC: 6.17/6.28 +--transitions: t1 6.17/6.28 +--nodes: n_n_n_l3___2___1___1 6.17/6.28 6.17/6.28 6.28/6.35 EOF