The class invariant is not monitored for the root class, even with
`assertion (all)'.

Discovered in Release 3.2.3b.