protected Type mergeValues(TypeFrame frame, int slot, Type a, Type b) throws DataflowAnalysisException { return typeMerger.mergeTypes(a, b);
protected void mergeValues(TypeFrame otherFrame, TypeFrame resultFrame, int slot) throws DataflowAnalysisException { Type value = typeMerger.mergeTypes(resultFrame.getValue(slot), otherFrame.getValue(slot)); resultFrame.setValue(slot, value);
	protected Type mergeValues(TypeFrame frame, int slot, Type a, Type b)	        throws DataflowAnalysisException {		return typeMerger.mergeTypes(a, b);	}