Member predicate DynamicPropRead::hasDominatingAssignment

Holds if the value of this read was assigned to earlier in the same basic block.

For example, this is true for dst[x] on line 2 below:

dst[x] = {};
dst[x][y] = src[y];