Updating assertion code