4.38/4.72 MAYBE 4.38/4.72 4.38/4.72 4.38/4.72 Connected Subgraphs where we couldn't prove Termination: 4.38/4.72 -------------------------------------------------------- 4.38/4.72 SCC: 4.38/4.72 +--transitions: t3 4.38/4.72 +--nodes: n_n_n_f57_0_loop_GT___1___2___2 4.38/4.72 4.38/4.72 4.47/4.78 EOF