SET-STATIC-CONSTRAINT-CHECKING

Sets the static constraint checking behaviour.

(set-static-constraint-checking <boolean-expression>)