14.05/14.07 MAYBE 14.05/14.07 14.05/14.07 14.05/14.07 Connected Subgraphs where we couldn't prove Termination: 14.05/14.07 -------------------------------------------------------- 14.05/14.07 SCC: 14.05/14.07 +--transitions: t3,t4,t5,t6 14.05/14.07 +--nodes: n_n_n_l0___1___2___2,n_n_n_l0___2___1___1 14.05/14.07 14.05/14.07 14.10/14.14 EOF