3.40/3.41 MAYBE 3.40/3.41 3.40/3.41 3.40/3.41 Connected Subgraphs where we couldn't prove Termination: 3.40/3.41 -------------------------------------------------------- 3.40/3.41 SCC: 3.40/3.41 +--transitions: t1 3.40/3.41 +--nodes: n_n_n_f39_0_main_GE___2___1___1 3.40/3.41 3.40/3.41 3.40/3.47 EOF