1.20/1.23 MAYBE 1.20/1.23 1.20/1.23 1.20/1.23 Connected Subgraphs where we couldn't prove Termination: 1.20/1.23 -------------------------------------------------------- 1.20/1.23 SCC: 1.20/1.23 +--transitions: t0 1.20/1.23 +--nodes: f31_0_main_Load 1.20/1.23 1.20/1.23 1.20/1.29 EOF