Method main

src/test/resources/pta/contextsensitivity/TwoCallOnly.java:2–8

(String[] args)

class TwoCallOnly {
    public static void main(String[] args) {
        B b = new B();
        A a1 = new A(new X());
        A a2 = new A(new X());
        X x1 = a1.fun(b);
        X x2 = a2.fun(b); //pts of x1 and x2?
    }
}

class B {