QL: Fix up `getASuperType`
QL: Fix up `getASuperType`

I'm not sure if it's correct to include also the `instanceof`s, but we
can always fix this later.

github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql