4.39/4.43 MAYBE 4.39/4.43 4.39/4.43 4.39/4.43 Connected Subgraphs where we couldn't prove Termination: 4.39/4.43 -------------------------------------------------------- 4.39/4.43 SCC: 4.39/4.43 +--transitions: t3 4.39/4.43 +--nodes: n_n_n_f76_0_loop_GT___1___2___2 4.39/4.43 4.39/4.43 4.47/4.49 EOF