add a delta-debugging example