Improve the run-to-completion principle. (#536)

SHA: c63b666
Reason: push, by martinthomson

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

Author: jyasskin