Static Analysis Complements Machine Learning: A Type Inference Use Case