MaxMilshin

For [this sample](https://github.com/UnitTestBot/jacodb/blob/lipen/taint-panda/jacodb-panda-dynamic/src/test/resources/samples/MethodCollision.ts), at line 32, analyzer can't resolve method `isSame` because variable `c` have union type (`Foo|Bar`), which is currently not supported. Even if we were to support union...