Similar Items: Model Checking Vector Addition Systems with one zero-test