Emit basic annotations and STARScallreturn annotations for unreachable, removed code, because the unreachable determination might be due to IDA errors.