CSeq: A concurrency pre-processor for sequential C verification tools