More efficient instruction sequence for [dict for].
merge trunk