18.96/19.01 MAYBE 18.96/19.01 18.96/19.01 18.96/19.01 Termination: (Ranking Functions Found) 18.96/19.01 ------------ 18.96/19.01 l0: < < x3_0 > > 18.96/19.01 l2: < < -1 + oldX3_0 > > 18.96/19.01 18.96/19.01 18.96/19.01 Connected Subgraphs where we couldn't prove Termination: 18.96/19.01 -------------------------------------------------------- 18.96/19.01 SCC: 18.96/19.01 +--transitions: t6 18.96/19.01 +--nodes: n_n_n_l4___1___1___1 18.96/19.01 18.96/19.01 19.07/19.07 EOF