Fix BV inequality solver caching.