Fix `with` verified double verification to work with new `any_args` semantics.