insert function of PH works now correctly, performance fix for get_rank function of splay tree