对下肢静脉曲张较有效且常用的术式是

A．患侧甲状腺及峡部全切加对侧次全切除术
B．甲状腺局部切除
C．激素治疗
D．双侧甲状腺全切加放射性碘治疗
E．放射治疗

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

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

B．裁定终结执行

C．裁定中止执行

D．直接执行张三的遗产