Add unit test for MiniJavaErrorType.