fn delete_dirty_work_product(sess: &Session, swp: SerializedWorkProduct)