[Explicit State Access] Support multiple reads for state element, verify labels are propagated, and decouple next nodes from state reads when transforming state elements.#4410