use a single verifier for annotated tests