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