A Micro-benchmarking Framework for Python Type Inference Tools - View it on GitHub