42.83/42.86 MAYBE 42.83/42.86 42.83/42.86 42.83/42.86 Connected Subgraphs where we couldn't prove Termination: 42.83/42.86 -------------------------------------------------------- 42.83/42.86 SCC: 42.83/42.86 +--transitions: t12 42.83/42.86 +--nodes: n_n_n_l1___12___7___5 42.83/42.86 42.83/42.86 42.90/42.93 EOF