Invariants are useless the way they are defined

[bearophile]

deadalnix:

> Done but I'm not sure this is a bug. This work as designed, it 
> is simply that the design is improvable :D

It's not a bug, it's an enhancement, because according to you it 
could be a small design bug.

Don't forged to add to the bug report good comments coming from 
Andrei or other people from this thread.

Bye,
bearophile