CFGFieldAssignment.java

class Test {
    int f;

    void test(Test x) {
        x.f = 1;
    }
}