Minor refactorings in ReuseTree