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