Proper interprocedural analysis for type dependencies