Fix bug in empty() function of vector
Add test cases for priority_queue