return value.mightBeNull() && !value.isException();
return value.mightBeNull() && !value.isException() && !value.isReturnValue();
			public boolean choose(IsNullValue value) {				// Only choose non-exception values.				// Values null on an exception path might be due to				// infeasible control flow.				return value.mightBeNull() && !value.isException();			}