1Regression test for optimizing's dead block removing:
2Removing from predecessors require remove successor otherwise
3CFG remains in an unexpected shape causing further crash of compiler.
4