If we detect that the instruction we are simplifying is unreachable, arrange for