class MiniTermWTF

The exception raised when something is really messed up.