A false negative about the rule INEFFICIENT_KEYSET_ITERATOR

Infer version: v1.1.0
OS: Ubuntu 20

Command:
```bash
infer run --inefficient-keyset-iterator -- javac Example.java
```

The following code example can be detected:
```java
void inefficient_loop_itr_bad(HashMap testMap) {
Iterator itr2 = testMap.keySet().iterator();
while (itr2.hasNext()) {
String key = (String) itr2.next();
testMap.get(key); // can report a warning here
}
}
```
However, it cannot detect the do-while loop:
```java
void inefficient_loop_itr_bad(HashMap testMap) {
Iterator itr2 = testMap.keySet().iterator();
do {
String key = (String) itr2.next();
testMap.get(key); // no warnings at this line
} while (itr2.hasNext());
}
```

These two code examples are equivalent, hence, I think this is a false negative.