Support select instructions when propagating dataflow state
from a struct field/array element to the aggregate