let equal a b = (WpAnnot.compare_prop_id a.po_pid b.po_pid = 0)