6.65/6.99 MAYBE 6.65/6.99 6.65/6.99 6.65/6.99 Connected Subgraphs where we couldn't prove Termination: 6.65/6.99 -------------------------------------------------------- 6.65/6.99 SCC: 6.65/6.99 +--transitions: t3,t4 6.65/6.99 +--nodes: n_n_n_l0___1___1___1 6.65/6.99 6.65/6.99 6.74/7.05 EOF