Relaxed assertion that was violated by overrides