Getting rid of unreachables.