An assertion is removed that can be technically broken by system configuration.