Calls ensure-term-not-call-of with ctx and state as the last two arguments.
Macro: ensure-term-not-call-of$
(defmacro ensure-term-not-call-of$ (term fn description error-erp error-val) (list 'ensure-term-not-call-of term fn description error-erp error-val 'ctx 'state))