In MemNode::find_previous_store, there is a huge series of if statements. The purpose of it is to detect whether mem interferes with this. This is useful for various other use cases, such as in JDK-8370416. As a result, we should refactor it into a separate method.