Rewrite HintVerifier as a semantic check