ValueNumberFrame frame = valueNumberAnalysis.getFactAtLocation(location);
ValueNumberFrame frame = valueNumberDataflow.getFactAtLocation(location);
	private void lockOperation(InstructionHandle handle, BasicBlock basicBlock, LockSet fact, int delta)		throws DataflowAnalysisException {		// See what's on the top of the stack		Location location = new Location(handle, basicBlock);		ValueNumberFrame frame = valueNumberAnalysis.getFactAtLocation(location);		ValueNumber topOfStack = frame.getTopValue();		int valNum = topOfStack.getNumber();		int lockCount = fact.getCount(valNum);		if (lockCount == LockSet.TOP)			throw new IllegalStateException("transferring top value!");		else if (lockCount != LockSet.BOTTOM)			fact.setCount(valNum, lockCount + delta);	}