Refactoring sequence checkers