As of right now, findAllValues in VarAccess can traverse one layer on the subtree of a VarAccess to track value assignments on a variable like this.i. However, suppose we have the following case (where this.self == this and there exists a method called getSelf that returns self):
this.self.getSelf().self = this;
We would ultimately want to track values for this type of VarAccess with the inner JavaVisitor.