Minor cleanup.
Possible fix for bug594
BV ineq cache should be CD?