reduction after unfolding of constant. it should not be necessary, but for the moment we do it just to reduce the number of steps.