endTransfer(basicBlock, end, result);
computeThrownExceptionTypes(basicBlock, end, result);
	public void transfer(BasicBlock basicBlock, InstructionHandle end, TypeFrame start, TypeFrame result) throws DataflowAnalysisException {		visitor.startBasicBlock();				super.transfer(basicBlock, end, start, result);		endTransfer(basicBlock, end, result);		if (DEBUG) {			System.out.println("After " + basicBlock.getFirstInstruction() + " -> " + basicBlock.getLastInstruction());			System.out.println("    frame: " + result);		}				instanceOfCheckMap.remove(basicBlock);		if (visitor.isInstanceOfFollowedByBranch()) {			InstanceOfCheck check = new InstanceOfCheck(visitor.getInstanceOfValueNumber(), visitor.getInstanceOfType());			instanceOfCheckMap.put(basicBlock, check);		}	}