generating JUMPDEST's only for referenced labels