implement VerifyCodeGenerator