Enable non-incremental verification