If a local is used in a return statement, one can know if it is of type float/double or not.
Merge branch 'develop' of ssh://github.com/Sable/soot into develop
Merge branch 'develop' of ssh://github.com/Sable/soot into develop
Merge branch 'develop' of ssh://github.com/Sable/soot into develop