Predicate dynamicPropReadStep

Holds if output is the result of base[key], either directly or through one or more function calls, ignoring reads that can’t access the prototype chain.