Resolving functionality for the Delta Debugging algorithm.