Stable version of the translation for infeasible code detection

Has been tested against:

• Bouncy Castle
• Tomcat
• Soot
• Terpword

It does not seem to produce false positives (with some exceptions due to known bugs in soot).