add counter examples to rbtrees