For script-controlled verifications of a large set of versions of the same model
and a large set of queries it would be nice if: when verifyta is working on a
number of queries in the same query file and some query is too large to resolve,
verifyta did not exit, but would continue resolving the rest of the queries in
the file, as they might not be too large to resolve. Currently verifyta exits
on the first out-of-memory error, which means manually (or using a specially
crafted script) running the remainder of those queries from that query file.
Yes, this would be nice.