Enhance alias analysis for atomic instructions a bit. Upgrade a couple alias-analysi...