At FuzzerPassDonateModules::MaybeAddLivesafeFunction, the |function_to_donate| termination instructions must be checked if they are OpKill or OpUnreachable instructions. This check is not currently being performed.