Created by: Simorfo
The previous patch was not complete : it did not work when debug register was set to an address starting a basic block. The test case checks now both situations : debug register at a start or in the middle of a basic block.
- there were useless flushes