let same_node v v' =
    (node_id v) = (node_id v')