ValueNumberFrame vnaFrame = vnaDataflow.getFactAtLocation(new Location(handle, basicBlock)); if (!vnaFrame.isValid()) {   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) {   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 (valueNumbersCheckedHere.get(entry.getKey().getNumber())) {  fact.set(entry.getValue().intValue()); } } } } else {  if (paramValueNumberSet.get(instance.getNumber())) { fact.set(valueNumberToParamMap.get(instance).intValue()); } }
	public void transferInstruction(InstructionHandle handle, BasicBlock basicBlock, BitSet fact)		throws DataflowAnalysisException {			}