preshrinking

• 预收缩;