How to Transform an Analyzer into a Verifier