Debugging and test case.
When assertions are enabled, print failure information.