public abstract int getDelta(Instruction ins, ThisValueFrame frame) throws DataflowAnalysisException;
public abstract int getDelta(Instruction ins, ValueNumberFrame frame) throws DataflowAnalysisException;
	public abstract int getDelta(Instruction ins, ThisValueFrame frame) throws DataflowAnalysisException;