Predicate CachedSteps::basicStoreStep

Holds if there is a store step from pred to succ under property prop, that is, succ is the local source of the base of a write of property prop with right-hand side pred.

For example, for this code snippet:

var a = new A();
a.p = e;

there is a store step from e to new A() under property prop.

As a special case, if the base of the property write is a global variable, then there is a store step from the right-hand side of the write to any read of the same property from the same global variable in the same file.