Updated the assertion logging procedure