Issue #11: memory leak fix in DFA__unrank