edge_weight_compare() shouldn't rely on edge_compare().