* @return	true if the reference was set to visited
     */
    protected boolean setVisited(PRIndirectReference ref) {
        IntHashtable refs = visited.get(ref.getReader());
        if (refs != null)
        	return refs.put(ref.getNumber(), 1) != 0;
        else
        	return false;
    }