let eq_nodes = CFG.V.equal