private void checkCscSignals(MpsatOutput mpsatOutput) {
        String errorMessage = mpsatOutput.getStderrString();
        Matcher matcher = CSC_CONFLICT_PATTERN.matcher(errorMessage);
        if (matcher.find()) {
            DialogUtils.showInfo("CSC conflicts are automatically resolved during synthesis");