let equal v v' =
    (node_id v) = (node_id v')