public int getDelta(Instruction ins, ThisValueFrame frame) throws DataflowAnalysisException {
public int getDelta(Instruction ins, ValueNumberFrame frame) throws DataflowAnalysisException {
	public int getDelta(Instruction ins, ThisValueFrame frame) throws DataflowAnalysisException {		int delta = 0;		if (ins instanceof MONITORENTER)			++delta;		else if (ins instanceof MONITOREXIT)			--delta;		return delta;	}