Reword diagnostic messages
Change variables’ names
Reformat statements
Diversify and specialize assertion macros