Highlighting Counter-Examples in May diagrams

Ask the user before constructing your MAVOConcretizationHighlighter, in the outer checkConstraint() function. You'll avoid to do stuff you don't need if the user answers false. A one liner MultiModelDiagramUtils.getBooleanInput(dialogTitle, dialogMessage) with the right strings is sufficient.