Concurrent List-Based Set Algorithm -- Bounded Model Checking of Concurrent Data Types