Treat warning messages as fine in verification