let node_equal n1 n2 = get_id n1 = get_id n2