resultFrame.setExact(slot, resultFrame.isExact(slot) && otherFrame.isExact(slot));
boolean typesAreIdentical = otherFrame.getValue(slot).equals(resultFrame.getValue(slot));  boolean bothExact = resultFrame.isExact(slot) && otherFrame.isExact(slot);  resultFrame.setExact(slot, typesAreIdentical && bothExact);
	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);		resultFrame.setExact(slot, resultFrame.isExact(slot) && otherFrame.isExact(slot));	}