/test/stubs/org/checkerframework/common/aliasing/