Fix BV inequality solver caching.
BV inequality graph TNode fix.
Possible fix for bug594