Package soot.toDex.instructions