Highlighting Counter-Examples in May diagrams

If you think something is a problem, either throw a MMINTException if the execution needs to be stopped or just MMINTException.print(). That class may provide logging in the future or other good stuff that a plain System.err.println won't.