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