let sort_id_prop (n1, _p1) (n2, _p2) = WpAnnot.compare_prop_id n1 n2