Appending todo/write, request/header, and request/context inside an open turn now exercises the switch cases and the enclosed-branch of the invariant, closing the last branch gap.
Appending todo/write, request/header, and request/context inside an open turn now exercises the switch cases and the enclosed-branch of the invariant, closing the last branch gap.