FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses an unclosed stream returned by `Files.newInputStream()`

Hi, I found a false negative in Infer 1.3.0 when `Files.newInputStream()` returns a stream that is used but never closed.

**Affected tool**

`Infer 1.3.0`

**Affected checker**

`Infer PULSE_RESOURCE_LEAK`

**Minimal reproducer**

```java
import java.io.IOException;
import java.io.InputStream;
import java.nio.file.Files;
import java.nio.file.Path;

class InferLeakFilesNewInputStream {
void test(Path path) throws IOException {
InputStream stream = Files.newInputStream(path);
stream.read();
}
}
```

**Reproduction command**

```bash
infer --version
infer run --pulse --enable-issue-type PULSE_RESOURCE_LEAK -- javac spotbugs-to-infer-resourceleak-fn-files-new-input-stream.java
```

**Current behavior**

Infer completes successfully but produces no `PULSE_RESOURCE_LEAK` finding.

**Expected behavior**

Infer should report `PULSE_RESOURCE_LEAK` at line 8 because `Files.newInputStream()` returns an `InputStream` that is used but never closed.