Executable Assertion Definition Audit