When inlining ifs, we can only re-use a return statement if no other statement has already jumped there *and* if it is no fall-through target
Merge branch 'develop' of github.com:Sable/soot into develop