如图所示，轻弹簧左端固定在竖直墙上，右端与木块B相连，木块A紧靠木块B放置，A、B与水平面间的动摩擦因数均为μ。用水平力F向左压A，使弹簧被压缩一定程度后，系统保持静止。若突然撤去水平力F，A、B向右运动，下列判断正确的是

A. A、B一定会在向右运动过程的某时刻分开
B. 若A、B在向右运动过程的某时刻分开了，当时弹簧一定是原长
C. 若A、B在向右运动过程的某时刻分开了，当时弹簧一定比原长短
D. 若A、B在向右运动过程的某时刻分开了，当时弹簧一定比原长长