Exactly....
Robbie, with the lens off you can look at the front of the camera where the lens attaches. When the lever is pushed forward the tongs on the lens rotate to the open position & the mirror moves to viewing location, so to speak. Hence, if there is any restriction on the front lens insertion area the cocking lever will not move. If the lens was forced off maybe that area is damaged?
You should be able to see that front area rotation take place with the lens off and cocking the lever when it's working correctly. If cocked into firing position you should be able to trip the shutter button.
The Pro-ProS-ProSD should be the same in that front area. I have the Pro & ProSD and they are with regard to lens mount and tong insertion points. The ProSD has a larger front opening to accommodate a couple late model lenses but I use lens collars for all early lens usage.