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