Sometimes, like when using default reasoning, it's the whole point to expect there to be a value conflict between two values. But in a lot of cases value conflicts are unexpected, and I want debugging information about why the database was invalidated.