Fix with -o presimplify option