Added a recursive check for whether a store can be traced back to an EWPT-mapped object.