This reverts commit df868edee561eb973edd85ec9df41c67aa0bff6b, as it introduces a bug found by Alive2 (more on the rGdf868edee561).
This reverts commit df868edee561eb973edd85ec9df41c67aa0bff6b, as it introduces a bug found by Alive2 (more on the rGdf868edee561).