4.18/4.27 MAYBE 4.18/4.27 4.18/4.27 4.18/4.27 Connected Subgraphs where we couldn't prove Termination: 4.18/4.27 -------------------------------------------------------- 4.18/4.27 SCC: 4.18/4.27 +--transitions: t1 4.18/4.27 +--nodes: n_n_n_l1___1___1___1 4.18/4.27 4.18/4.27 4.23/4.33 EOF