Rewrite the same piece in `process_state_verified()`

We can see clearly the common logic between `process_state_verified()`
and `process_state_unverified()`, which will be extracted further in the
next commit.