Add asserts for an error condition to prevent soft-errors.