Call ensure-value-is-untranslated-term
with
Macro:
(defmacro ensure-value-is-untranslated-term$ (x description error-erp error-val) (cons 'ensure-value-is-untranslated-term (cons x (cons description (cons error-erp (cons error-val '(ctx state)))))))