Highlighting Counter-Examples in May diagrams

execute(actualParameters) is misleading now that this is no longer an operator, you can change function name, pass the model directly, don't need to return that list and maybe not even throwing exceptions (depends on the rest of the code)