Add a documentation for new constraint functions