Rethink the interface for the feedback of MSC feasibility
With the modalities in MSCs, MSC analyses do not involve only feasability, but also “guarantee” analysis.
Would be nice to get a feedback for both: a path when the MSC is feasible, a counter example when the guarantee analysis fails.
(from redmine: issue id 1904, created on 2014-01-24, closed on 2014-02-13)