6.80/6.84 MAYBE 6.80/6.84 6.80/6.84 6.80/6.84 Connected Subgraphs where we couldn't prove Termination: 6.80/6.84 -------------------------------------------------------- 6.80/6.84 SCC: 6.80/6.84 +--transitions: t1 6.80/6.84 +--nodes: n_n_n_l2___1___1___1 6.80/6.84 6.80/6.84 6.82/6.90 EOF