cl-assert -> user-error