major front-end improvement in the integration of CBMC analyses - now all analyses run as background tasks and MPS remains very responsive during their execution