Don't maintain a set of deleted nodes; instead, use a HandleSDNode