4.21/4.26 MAYBE 4.21/4.26 4.21/4.26 4.21/4.26 Connected Subgraphs where we couldn't prove Termination: 4.21/4.26 -------------------------------------------------------- 4.21/4.26 SCC: 4.21/4.26 +--transitions: t1 4.21/4.26 +--nodes: n_n_n_l0___1___1___1 4.21/4.26 4.21/4.26 4.29/4.33 EOF