5.07/5.19 MAYBE 5.07/5.19 5.07/5.19 5.07/5.19 Connected Subgraphs where we couldn't prove Termination: 5.07/5.19 -------------------------------------------------------- 5.07/5.19 SCC: 5.07/5.19 +--transitions: t1 5.07/5.19 +--nodes: n_n_n_l0___1___1___1 5.07/5.19 5.07/5.19 5.17/5.25 EOF