this.derefOffsetMap = new HashMap<ValueNumber, BitSet>();
this.derefLocationSetMap = new HashMap<ValueNumber, BitSet>();
	public UnconditionalValueDerefSet(int numValueNumbersInMethod) {		this.numValueNumbersInMethod = numValueNumbersInMethod;		this.valueNumberSet = new BitSet();		this.derefOffsetMap = new HashMap<ValueNumber, BitSet>();	}