Added a test for identifying the instructions that may access shared field.