soot.jimple.toolkits.typing
Classes 
TypeAssigner
TypeResolver