5.58/5.70 MAYBE 5.58/5.70 5.58/5.70 5.58/5.70 Connected Subgraphs where we couldn't prove Termination: 5.58/5.70 -------------------------------------------------------- 5.58/5.70 SCC: 5.58/5.70 +--transitions: t3 5.58/5.70 +--nodes: n_n_n_l0___2___2___2 5.58/5.70 5.58/5.70 5.68/5.76 EOF