ClauseVerifier()
Abstract superclass for clause-based contracts to extend, which provides a verify() function that delegates to the supplied list of clauses.