6.90/6.91 MAYBE 6.90/6.91 6.90/6.91 6.90/6.91 Connected Subgraphs where we couldn't prove Termination: 6.90/6.91 -------------------------------------------------------- 6.90/6.91 SCC: 6.90/6.91 +--transitions: t1 6.90/6.91 +--nodes: n_n_n_l3___1___1___1 6.90/6.91 6.90/6.91 6.93/6.97 EOF