GSTE is partitioned model checking