add default option to proverc
No negative cache
raise error