neg_cache_delete
void neg_cache_delete(struct val_neg_cache* neg);
neg_cache_delete(val_env->neg_cache);
neg_cache_delete(neg);
void neg_cache_delete(struct val_neg_cache* neg);
neg_cache_delete(val_env->neg_cache);