protected ResourceValue mergeValues(ResourceValueFrame frame, int slot, ResourceValue a, ResourceValue b) throws DataflowAnalysisException { return ResourceValue.merge(a, b);
protected void mergeValues(ResourceValueFrame otherFrame, ResourceValueFrame resultFrame, int slot) throws DataflowAnalysisException { ResourceValue value = ResourceValue.merge(resultFrame.getValue(slot), otherFrame.getValue(slot)); resultFrame.setValue(slot, value);
	protected ResourceValue mergeValues(ResourceValueFrame frame, int slot, ResourceValue a, ResourceValue b)	        throws DataflowAnalysisException {		return ResourceValue.merge(a, b);	}