Handle SuperReference

[mernst]

I tried to create a standalone test case, but I was not able to.

[smillst]

I think dataflow is treating ThisReference and SuperReference the same, which seems right to me. The code would be a bit clearer if handing the two were combined.

else if (expr instanceof ThisReference || expr instanceof SuperReference)

[smillst]

Thanks!