Adds solution verifier