* verify.h (verify_expr): Remove, replacing with: