Returns the current value of the dynamic constraint checking behaviour.
(get-dynamic-constraint-checking)