Refactored checkers and verifiers of dependencies