Class ABox

src/test/resources/pta/taint/ArrayFieldTransfer.java:89–95

}

class ABox {
    A a;

    ABox(A a) {
        this.a = a;
    }
}

class Expression {