Avoid moving labels in a block#202

sipma merged 1 commit intostatic-analysis-engineering:masterstatic-analysis-engineering/CodeHawk-Binary:masterfrom

brk:empty-instr-labelsbrk/CodeHawk-Binary:empty-instr-labelsCopy head branch name to clipboard