Introduces failed assertion messages for clarity.