VNA00J doesn't compute unprotected accesses of methods correctly

The detector of VNA00J fails to report the bug instance in the following piece of code.

```
public class A {

    Object o = new Object();

    @EntryPoint
    public static void main(String args[]) {
        new A().m1();
    }

    void m1() {
        /* [VNA00J,01 */synchronized (new Object()) {
            m2();
        }/* ] */
    }

    void m2() {
        o = new A();
    }
}
```
