HashMap objTab= new HashMap(); Invariant:
HashMap objTab= new HashMap();
If P has a network reference of object o owned by Q, then objTab.get(o.wrep) gives the concrete object reference on Q and a unique stub on P.
objTab.get(o.wrep)