adding read transformed instructions for heap array's reads