SET-STATIC-CONSTRAINT-CHECKING
Sets the static constraint checking behaviour.
(set-static-constraint-checking <
boolean-expression
>)