Removing a documentation comment

Private methods don't need documentation.
Removing Constraints package

With the new implementation of cut-introduction
there is no need for constraints anymore.
Also adapting the help text to the new functions.