17.32/17.88 MAYBE 17.32/17.88 17.32/17.88 17.32/17.88 Connected Subgraphs where we couldn't prove Termination: 17.32/17.88 -------------------------------------------------------- 17.32/17.88 SCC: 17.32/17.88 +--transitions: t5 17.32/17.88 +--nodes: n_n_n_l6___2___2___2 17.32/17.88 17.32/17.88 17.41/17.94 EOF