Refactor Asserter