Splitting functionality for the Delta Debugging algorithm.