  bool contains(Object_handle h) const
  /*{\Mop  returns true iff the object |h| is contained in the set
  represented by |\Mvar|.}*/
  { Slocator PL(pm()); return PL.mark(h); }
  bool contains(Object_handle h) const
   
  { Slocator PL(pm()); return PL.mark(h); }