independent blocks: do not insert stores between phi nodes
add comments to clarify the use of a temporary variable in the map insertion