3.51/3.56 MAYBE 3.51/3.56 3.51/3.56 3.51/3.56 Connected Subgraphs where we couldn't prove Termination: 3.51/3.56 -------------------------------------------------------- 3.51/3.56 SCC: 3.51/3.56 +--transitions: t1 3.51/3.56 +--nodes: n_n_n_f31_0_loop_EQ___2___1___1 3.51/3.56 3.51/3.56 3.59/3.62 EOF