Improving soft typing analysis.