Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation