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