Calls ensure-is-untranslate-specifier with ctx and state as the last two arguments.
Macro: ensure-is-untranslate-specifier$
(defmacro ensure-is-untranslate-specifier$ (x description error-erp error-val) (list 'ensure-is-untranslate-specifier x description error-erp error-val 'ctx 'state))
