Resolve the cyclic dependencies between analyses - refinement - model checking based testing
only then we can add the MSC feasibility checks in the nightly build and analyses master
(from redmine: issue id 991, created on 2012-09-27, closed on 2018-01-29)