Checks for a condition; if the condition is false, follows the escalation policy set for the analyzer.
The default escalation policy is to notify the attached debugger about a contract failure or to display an Assert dialog box if a debugger is not attached. Optionally, the analyzer can be instructed to throw an exception.