12.06/12.29 MAYBE 12.06/12.29 12.06/12.29 12.06/12.29 Connected Subgraphs where we couldn't prove Termination: 12.06/12.29 -------------------------------------------------------- 12.06/12.29 SCC: 12.06/12.29 +--transitions: t3,t4,t5,t6 12.06/12.29 +--nodes: n_n_n_l0___1___2___2,n_n_n_l0___2___1___1 12.06/12.29 12.06/12.29 12.11/12.35 EOF