Title: Automated Verification of Concurrent Search Structures