Thus, in A3 we observe that in future iterations the strongly connected component expands further and many more wrong edges are inserted into the graph.
in B we see that ILP-Global takes into consideration the global interaction between the four nodes and other nodes of the graph, and decides to split this strongly connected component in two, which improves the precision of ILP-Global.