Replaces `del dict[k]` by `dict.pop(k)`.