Predicate PromiseFlow::loadStoreStep
Holds if there is a step copying a resolved/rejected promise value from promise pred to promise succ.
prop is either valueProp() if the value is a resolved value, or errorProp() if the promise has been rejected.
Import path
import semmle.javascript.Promisespredicate loadStoreStep(Node pred, Node succ, string prop)