Rename *DEBUG* to *SAFETY-CHECKS*, add docstring.