Rbtree shouldn't be allocated from inst