Enhances the case analysis call-back interface of drbbdup to enable the user to insert analysis labels.
The extension extracts the case instruction list from the main basic block and passes it to the user during analysis. After, drbbdup stitches the instruction list back to the main basic block.
A test is also included.
Issue: #4134 (closed)