6.07/6.11 MAYBE 6.07/6.11 6.07/6.11 6.07/6.11 Connected Subgraphs where we couldn't prove Termination: 6.07/6.11 -------------------------------------------------------- 6.07/6.11 SCC: 6.07/6.11 +--transitions: t1 6.07/6.11 +--nodes: n_n_n_l0___1___1___1 6.07/6.11 6.07/6.11 6.17/6.17 EOF