This may be cleaner because it allows us to infer names purely based on a storage item. On the other hand, it makes location extraction for name generation more difficult, because the pre- and the post-versions of each location will become separate location values which need to be matched to generate the correct assertions.
This may be cleaner because it allows us to infer names purely based on a storage item. On the other hand, it makes location extraction for name generation more difficult, because the pre- and the post-versions of each location will become separate location values which need to be matched to generate the correct assertions.