Error searching documents: 653:"verification condition generator