was a bug in is_dup(). hard to catch, was modifying RBTree by accessing element which didnt exist in one thread, crashing the others