new testcase to verify that we have field sensitive alias analysis info. This