The method is recursive and never has an opportunity to set the isBad variable to true unless it was already true so no elements are cleaned up from the FIMTDD tree and it grows perpetually if allowed to run on large datasets.