HDD: hierarchical delta debugging
ESP: path-sensitive program verification in polynomial time