29.01/29.05 MAYBE 29.01/29.05 29.01/29.05 29.01/29.05 Connected Subgraphs where we couldn't prove Termination: 29.01/29.05 -------------------------------------------------------- 29.01/29.05 SCC: 29.01/29.05 +--transitions: t10,t3,t4,t5,t6,t7,t8,t9 29.01/29.05 +--nodes: n_n_n_l0___1___1___1,n_n_n_l0___4___4___4,n_n_n_l4___2___2___2,n_n_n_l4___3___3___3 29.01/29.05 29.01/29.05 29.01/29.10 EOF