Calls ensure-term-no-stobjs with ctx and state as the last two arguments.
Macro: ensure-term-no-stobjs$
(defmacro ensure-term-no-stobjs$ (stobjs-out description error-erp error-val) (list 'ensure-term-no-stobjs stobjs-out description error-erp error-val 'ctx 'state))
