update verify_cascade