if (frame.isEscaped()) result.setEscaped(true);
	protected void mergeInto(ResourceValueFrame frame, ResourceValueFrame result)		throws DataflowAnalysisException {		// Merge slots		super.mergeInto(frame, result);		// Merge status		result.setStatus(Math.min(result.getStatus(), frame.getStatus()));		// Merge escaped status		if (frame.isEscaped())			result.setEscaped(true);	}