Major Section: GUARD
See guard-debug for a discussion of this function, which is useful for debugging failures during guard verification.
