Provides a mechanism for checking conditions - please refer to the
Using assertions
documentation page for details.