correctness checking for the incremental task with deltas