In a few tests, we have invalid value extractor declarations. It's not an issue with the current implementation of HV as the tests are still passing. But if we change the implementation or if we have another implementation, they might fail on these invalid declarations. |