Add constructor method to verifier abstraction.