Infinite while loop in BinaryDictionary.insert()