I can notice we had in the past (and still recently) a few annoying issue with Void-safety conversion

sometimes, it is linked to the usage of  "check" to prove void-safety.

I guess, we should try to get rid of all check /= Void end ...

and always have a else part which does something 
we should not "ignore" the else part.

For this current issue, I don't know if this is related to this kind of issue.