fact.setDepth(depth);
if (depth < 0) fact.setDepth(BOTTOM); else fact.setDepth(depth);
	public void transferInstruction(InstructionHandle handle, BasicBlock basicBlock, StackDepth fact) throws DataflowAnalysisException {		Instruction ins = handle.getInstruction();		int produced = ins.produceStack(cpg);		int consumed = ins.consumeStack(cpg);		if (produced == Constants.UNPREDICTABLE || consumed == Constants.UNPREDICTABLE)			throw new IllegalStateException("Unpredictable stack delta for instruction: " + handle);		int depth = fact.getDepth();		depth += (produced - consumed);		fact.setDepth(depth);	}