1.21/1.24 MAYBE 1.21/1.24 1.21/1.24 1.21/1.24 Connected Subgraphs where we couldn't prove Termination: 1.21/1.24 -------------------------------------------------------- 1.21/1.24 SCC: 1.21/1.24 +--transitions: t0 1.21/1.24 +--nodes: f38_0_main_Load 1.21/1.24 1.21/1.24 1.21/1.30 EOF