better _cvc-add