A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking