Incremental Verification by SMT-based Summary Repair