Reduce live ranges in array and pair creation
Implemented read