4.72/4.75 MAYBE 4.72/4.75 4.72/4.75 4.72/4.75 Connected Subgraphs where we couldn't prove Termination: 4.72/4.75 -------------------------------------------------------- 4.72/4.75 SCC: 4.72/4.75 +--transitions: t1 4.72/4.75 +--nodes: n_n_n_f82_0_loop_EQ___2___1___1 4.72/4.75 4.72/4.75 4.76/4.82 EOF