A pump does not propagate EOF. So a BlockedRead state should not complete when a pump happens that does not satisfy the read.