Walk over instance expression in dot forms
Add test for analyzing inside Java interop