;; called for, but it believes it has proven that the check won't
;; be done for policy reasons or because a safe implementation
;; will be used. In the latter case, LTN must ensure that a safe
;; called for, but it believes it has proven that the check won't
;; be done for policy reasons or because a safe implementation
;; will be used. In the latter case, LTN must ensure that a safe