PropertyFailureInput(original: T?, shrunk: T?)
Maps a failed property test arg to its shrunk value if any.