Add new test cases to verify to fields accesses of external members
Automate tests to verify that field interferences are detected
Ignore tests that bring up the GUI for pointer analysis