Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs