Calls ensure-value-is-not-in-list with ctx and state as the last two arguments.
Macro: ensure-value-is-not-in-list$
(defmacro ensure-value-is-not-in-list$ (x list list-description description error-erp error-val) (list 'ensure-value-is-not-in-list x list list-description description error-erp error-val 'ctx 'state))