Calls ensure-term-guard-verified-exec-fns with ctx and state as the last two arguments.
Macro: ensure-term-guard-verified-exec-fns$
(defmacro ensure-term-guard-verified-exec-fns$ (term description error-erp error-val) (list 'ensure-term-guard-verified-exec-fns term description error-erp error-val 'ctx 'state))