let
eq_nodes =
CFG
.
V
.equal