test for presimplify