Tests regarding simplifying always throwing instructions in dead code elimination.