2.99/3.01 MAYBE 2.99/3.01 2.99/3.01 2.99/3.01 Connected Subgraphs where we couldn't prove Termination: 2.99/3.01 -------------------------------------------------------- 2.99/3.01 SCC: 2.99/3.01 +--transitions: t1 2.99/3.01 +--nodes: n_n_n_f31_0_loop_InvokeMethod___1___1___1 2.99/3.01 2.99/3.01 2.99/3.07 EOF