Patch Set 3: Looks good to me, but someone else must approve

I think now everybody's concerns should be in there.

It will fail if the assumption is violated. It explains why it does so. The intentions are clear to the syntactic checker so no warning will pop up.