Assertion fail() check function