Klever

I investigated the issue. Indeed, Core consumes extremely much disk space rather than memory when collecting code coverage for models and when one decides jobs using development settings. Anyway, it is a bad idea to do the latter for any large enough job.

Another observation is that collecting code coverage for models increases the overall walltime in about 50% when checking non CPU intensive requirement specifications. For memory safety it was necessary just ~10% more walltime.