10.11/10.15 MAYBE 10.11/10.15 10.11/10.15 10.11/10.15 Connected Subgraphs where we couldn't prove Termination: 10.11/10.15 -------------------------------------------------------- 10.11/10.15 SCC: 10.11/10.15 +--transitions: t5,t6 10.11/10.15 +--nodes: n_n_n_f151_0_main_InvokeMethod___2___1___1 10.11/10.15 10.11/10.15 10.11/10.21 EOF