Adds the asserter and document it