Shadowing happens when overriding method

Consider the following example:

##### MyCallable.qll
```codeql
import java

class CallableByErasure extends Callable {
override predicate hasQualifiedName(string package, string type, string name) {
this.isDeclaredIn(package, type) and this.hasName(name)
}

predicate isDeclaredIn(string package, string type) {
this.getDeclaringType().getErasure().(RefType).hasQualifiedName(package, type)
}
}

```
##### Query.ql
```codeql
import java
// import MyCallable

from Call c
where c.getCallee().hasQualifiedName("java.util", "Set", "iterator")
select c

```

The query correctly finds one instance (see test case below).
If I uncomment `import MyCallable` however, then the query does not return anything. Is this expected behaviour? How do I prevent this from happening?

This is the test case I used:
```java
import java.util.HashSet;
import java.util.Set;

class GenericsClass {
public void foo() {
Set set = new HashSet();
set.iterator();
}
}
```

MyCallable.qll、Query.ql、および提供された GenericsClass Java 例を使って問題を再現する。MyCallable の import がある場合とない場合でクエリ結果を比較し、その後、オーバーライドされている hasQualifiedName および isDeclaredIn 述語を調べる。shadowing の動作を理解し、どちらの場合でもクエリが意図したとおりに動作すれば完了とする。

索引モデルが issue の本文から書いたものです。