shrinking now also takes number of used program points into account