Fix CVC4 expression cache bug

Remove cache entries when the associated expression is deleted.