> Looks like the UnconditionalBranchFolder (soot.jimple.toolkits.scalar) > does something like that, The GotoEliminator also sounds relevant: http://www.sable.mcgill.ca/soot/doc/soot/javaToJimple/toolkits/GotoEliminator.html Eric