Fix SCC graph generation

[Kalashnikovni]

While applying the causalization process to the builder_scc.txt file, the resulting SCC SBG is as follows:

MinReachSCC dsbg: 
V: {[1:10], [21:29], [47:47], [57:64], [67:67], [69:69]}
Vmap: <<{[1:10]} -> |1|, {[21:29]} -> |3|, {[47:47]} -> |5|, {[57:64]} -> |7|, {[67:67]} -> |9|, {[69:69]} -> |11|>>

E: {[11:11], [12:19], [20:20], [30:37], [38:38], [39:46], [48:48], [49:55], [56:56], [65:65], [66:66], [68:68]}
mapB: <<{[11:11]} -> |x+56|, {[12:19]} -> |x+45|, {[20:20]} -> |x+49|, {[30:37]} -> |x-8|, {[38:38]} -> |x+9|, {[39:46]} -> |x-17|, {[48:48]} -> |x+19|, {[49:56]} -> |x+8|, {[65:65]} -> |x+4|, {[66:66]} -> |x-45|, {[68:68]} -> |x-21|>>
mapD: <<{[11:20]} -> |x-10|, {[30:38], [56:56]} -> |x-9|, {[39:46]} -> |x+18|, {[48:55]} -> |x+9|, {[65:65]} -> |x-18|, {[66:66], [68:68]} -> |x+1|>>
Emap: <<{[11:20]} -> |2|, {[30:38]} -> |4|, {[39:46]} -> |5|, {[48:56]} -> |6|, {[65:65]} -> |7|, {[66:66]} -> |8|, {[68:68]} -> |10|>>

This result is incorrect, since vertices 48 and 49:56 should belong to different set-edges.