VERIFY-GUARDS-EAGERNESS

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