finish delta-debugging section and complete example