18.15/18.24 MAYBE 18.15/18.24 18.15/18.24 18.15/18.24 Connected Subgraphs where we couldn't prove Termination: 18.15/18.24 -------------------------------------------------------- 18.15/18.24 SCC: 18.15/18.24 +--transitions: t6 18.15/18.24 +--nodes: n_n_n_l11___3___3___3 18.15/18.24 18.15/18.24 18.25/18.31 EOF