VERIFY-GUARDS-EAGERNESS
See
set-verify-guards-eagerness
.
Major Section:
SWITCHES-PARAMETERS-AND-MODES