MPS-19050 Check Language (Check Generator) action doesn't show warnings in Model Checker window
make