Refactoring of common verification