if (valueNumbersCheckedHere.get(entry.getKey().getNumber())) {
if (valueNumbersCheckedHere.get(paramValueNumber.getNumber())) { if (DEBUG) System.out.print("[ADDING: " + param.intValue() + "]");
	public void transferInstruction(InstructionHandle handle, BasicBlock basicBlock, BitSet fact)		throws DataflowAnalysisException {		if (!basicBlock.isNullCheck())			return;				ValueNumberFrame vnaFrame = vnaDataflow.getFactAtLocation(new Location(handle, basicBlock));		if (!vnaFrame.isValid()) {			// Probably dead code.			// Assume this location can't be reached.			makeFactTop(fact);			return;		}				ValueNumber instance = vnaFrame.getInstance(handle.getInstruction(), methodGen.getConstantPool());		Integer param = valueNumberToParamMap.get(instance);		if (param == null)			return;				boolean isParam;		MergeTree mergeTree = vnaDataflow.getAnalysis().getMergeTree();		if (mergeTree != null) {			// Check to see what parameters might have flowed into the			// checked value.			BitSet inputSet = mergeTree.getTransitiveInputSet(instance);			BitSet valueNumbersCheckedHere = new BitSet();			valueNumbersCheckedHere.or(inputSet);			valueNumbersCheckedHere.and(paramValueNumberSet);						if (!valueNumbersCheckedHere.isEmpty()) {				for (Iterator<Map.Entry<ValueNumber, Integer>> i = valueNumberToParamMap.entrySet().iterator();						i.hasNext();) {					Map.Entry<ValueNumber, Integer> entry = i.next();					// If the value number of this parameter is one of those					// which flow into the checked value...					if (valueNumbersCheckedHere.get(entry.getKey().getNumber())) {						// Add the corresponding parameter index to the dataflow fact						fact.set(entry.getValue().intValue());					}				}			}		} else {			// No merge tree.  Just look for parameters checked explicitly			if (paramValueNumberSet.get(instance.getNumber())) {				fact.set(valueNumberToParamMap.get(instance).intValue());			}		}	}