>And it relies on each new visitor adding the assert.

That's easy if visitation is introduced via macros... :o)