Do not allow the Jimple typing algorithm to insert new non-identity statements in the middle of identity statements.
Print more information for exception.
Merge branch 'develop' of ssh://github.com/Sable/soot into develop
Corrected typo
Replace null_type by java.lang.Object for when typing engine cannot find correct type for locals.
Merge branch 'develop' of ssh://github.com/Sable/soot into develop