As the test case shows, it can happen (-fcheck=bounds) that se.pre has a 
value. Hence, the patch removes se.pre from the assert and adds the pre 
block to the block.

Build, regtested and committed (Rev. 199736) on x86-64-gnu-linux.

Tobias