added check_resolver.py