IPA sem equality: References to storage enhanced.