add an interesting failing case to the heuristic test set