Fix bug with -o presimplify option