Invariants are useless the way they are defined

[bearophile]

deadalnix:
> As they are defined now, invariant are plain useless.

Don't forget to add this issue to Bugzilla. So we will keep 
memory of it.

Bye,
bearophile