An `old' expression in a class invariant is correctly reported to
violate VAOL.  But when the `old' is removed, the compiler still
reports a VAOL violation.

Discovered in Release 3.1.1.