Changed paths:
M checker/src/main/java/org/checkerframework/checker/guieffect/GuiEffectVisitor.java
M framework/src/main/java/org/checkerframework/common/aliasing/AliasingVisitor.java
Log Message:
-----------
Use getCurrentPath in BaseTypeVisitory subclasses