let compare a b = let c = String.compare a.po_model b.po_model in if c<>0 then c else let c = String.compare a.po_name b.po_name in if c<>0 then c else WpAnnot.compare_prop_id a.po_pid b.po_pid