Code review comment for lp:~alan-griffiths/mir/fix-1388802-possibly

I'm not super-enthused about the general principle of making code (slightly) less obviously correct in order to appease an external correctness-checking tool.

In this case it seems a worthwhile tradeoff.