Fix nested_both_switch in cfg-connect
Fix nested_both_switch in cfg-connect

If SCC connection joins SCCs into cycle, they must be recalculated.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer