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