2.69/2.76 MAYBE 2.69/2.76 2.69/2.76 2.69/2.76 Connected Subgraphs where we couldn't prove Termination: 2.69/2.76 -------------------------------------------------------- 2.69/2.76 SCC: 2.69/2.76 +--transitions: t1 2.69/2.76 +--nodes: n_n_n_f37_0_loop_InvokeMethod___1___1___1 2.69/2.76 2.69/2.76 2.75/2.82 EOF