追加公司股东为被执行人执行异议之诉，并非必须在执行终本前提出，法律未强制要求以终本为前提，但终本裁定可作为“财产不足”的直接证据，降低举证难度。以下从法律逻辑、实务路径、司法实践三个角度展开分析：

一、法律逻辑：终本并非法定前提

根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》（以下简称《变更追加规定》），追加股东为被执行人的核心条件是“被执行人财产不足以清偿生效法律文书确定的债务”。而“终本”是法院在穷尽财产调查措施后，因未发现可供执行财产而作出的程序性裁定。法律并未明确要求追加被执行人必须以终本为前提，但实务中法院常以终本裁定作为认定“财产不足”的直接证据。

二、实务路径：终本与未终本追加的对比

1. 先终本后追加（传统模式）

   • 优势：终本裁定可直接作为“财产不足”的证明，降低法院审查难度，提高追加成功率。
   • 风险：
     • 程序拖延：终本需经过严格的财产调查程序（通常需3个月以上），可能错过最佳执行时机。
     • 证据固化风险：若终本后追加申请被驳回，可能因证据瑕疵导致后续难以恢复执行。

2. 未终本直接追加（突破模式）

   • 适用情形：当存在以下情形时，可尝试绕过终本直接申请追加：
     • 股东未实缴出资且转让股权（符合《变更追加规定》第19条）；
     • 被执行人无偿接受财产导致偿债能力受损；
     • 存在抽逃出资、法人人格混同等明确证据。
   • 优势：避免终本程序耗时，快速启动追加程序。
   • 难点：需提供充分证据证明“财产不足”，如银行流水、验资报告、财产转移记录等。

三、司法实践：争议与裁判规则

1. 终本是否构成“财产不足”的充分条件？

   • 肯定观点：终本裁定表明法院已穷尽财产调查措施，可直接推定“财产不足”。
   • 否定观点：终本仅是程序性结论，若后续发现新财产线索（如股东出资不实），仍可恢复执行并追加被执行人。

2. 未终本时追加的审查标准 法院在未终本情况下追加被执行人时，需重点审查：

   • 财产调查的充分性：是否已采取网络查控、线下查封、审计等必要措施；
   • 责任主体的明确性：追加对象是否存在未出资、抽逃出资等法定情形；
   • 证据的关联性：如股权变更记录、验资报告等能否直接证明责任成立。

四、风险提示与实务建议

1. 终本程序的潜在风险

   • 执行僵局：终本后若追加申请被驳回，可能因缺乏新线索导致执行停滞。
   • 时效损失：终本需等待3个月以上，可能延误财产保全或诉讼时机。

2. 双轨并行策略

   • 同步申请终本：以获取程序性支持；
   • 另行调查财产线索：如股东出资、关联交易，为直接追加做准备。

3. 证据固化建议

   • 通过工商档案、银行流水等证明股东未实缴出资；
   • 申请法院调取被执行人财产转移记录（如无偿划转资产）。

4. 例外情形处理 若存在以下情况，应优先选择直接追加而非终本：

   • 被执行人存在恶意转移财产行为（如无偿赠与、虚假交易）；
   • 股东未届出资期限但已转让股权，且受让方无偿付能力。

五、结论：终本非必需，但需权衡利弊

法律未强制要求追加被执行人必须以终本为前提，但实务中终本裁定可显著降低举证难度。是否选择终本程序，需根据具体案情、证据充分性及时间成本综合判断：

• 优先终本：当被执行人财产线索有限且追加理由较薄弱时；
• 直接追加：当存在明确证据（如抽逃出资、股权瑕疵）时，可突破程序限制，提高执行效率。

最终目标：通过合法程序精准打击责任主体，最大限度实现债权。如有具体案情或证据材料，可进一步向我咨询，我将结合个案细节提供针对性建议。