Added documentation for assert