Augmenting Type Inference with Lightweight Heuristics. - Nevena Lazarevic (2017)