[Lifecycle] [Refactoring] extracting methods for verification logics