CSeq: A Sequentialization Tool for C