debugging resolve_all.py