Highlighting Counter-Examples in May diagrams

MultiModelUtils.addFileNameSuffixInUri or MultiModelUtils.replaceFileNameInUri