let
equal v v' = same_node v v'