Updates the HowToAddANewAssertion.md page.