GSTE Is Partitioned Model Checking