Added StateReduction to simply the squash logic more