Updates the HowToAddANewAssertion.md file.