local rule: elide store with bottom