GSTE is partitioned Model Checking