The namespace provides classes that the binary rewriter can use to handle a contract failure.