Added doxygen comments for pre and post conditions for functions regarding commitments
Added doxygen comments for pre and post conditions for functions regarding commitments