Lazy-CSeq: A Lazy Sequentialization Tool for C