张三和王海两人因合同纠纷发生争议，诉至法院。法院判决张三赔偿王海20万元。判决生效后，张三未履行判决。王海隧向法院申请强制执行。在执行过程中，张三突然心脏病发死亡，留有遗产一套房屋。张三的惟一法定继承人张小三不愿继承张三的遗产。请问：在这种情况下，法院应该作出下列哪项处理()

A．将张小三列为形式上的被执行人，执行张三的遗产

B．裁定终结执行

C．裁定中止执行

D．直接执行张三的遗产

为了延长软件的生命周期，常常要进行软件更新和版本升级，其主要目的是减少错误、扩充功能、适应不断变化的运行环境。