Sets the dynamic constraint checking behaviour.
(set-dynamic-constraint-checking <boolean-expression>)