在以追加股东为被执行人的情况下，通常的流程并非先终本再提执行异议，而是根据具体情况来决定后续步骤。以下是对此问题的详细分析：

1. 终本与追加股东为被执行人的关系：

   • “终本”即终结本次执行程序，通常是在法院经过调查，发现被执行人没有可供执行的财产，或者财产不足以清偿全部债务时，作出的暂时终结执行的决定。
   • 追加股东为被执行人，通常是在原被执行人（如公司）无法履行债务时，根据法律规定或合同约定，将股东纳入执行范围，以股东的个人财产来清偿公司债务。
   • 终本与追加股东为被执行人并非必然的前后关系。终本可能发生在追加股东之前，也可能发生在之后，这取决于法院的执行进度和被执行人的财产状况。

2. 终本后提执行异议的情况：

   • 如果在终本后，申请人发现原被执行人或追加的股东有可供执行的财产，或者认为法院在执行过程中存在违法行为，可以向法院提出执行异议。
   • 执行异议是申请人对法院执行行为或执行标的提出的异议，法院会对异议进行审查，并根据审查结果作出相应处理。

3. 终本后恢复执行的情况：

   • 如果在终本后，申请人发现了新的可供执行的财产线索，或者原被执行人、追加的股东的财产状况发生了变化，使得执行成为可能，申请人可以向法院申请恢复执行。
   • 恢复执行需要申请人提供充分的证据证明存在可供执行的财产或财产状况的变化，法院在审查后会决定是否恢复执行。

4. 具体操作建议：

   • 在终本前：如果申请人认为追加股东为被执行人是必要的，可以在执行过程中向法院提出申请，并提供相关证据证明股东应承担的责任。
   • 在终本后：如果申请人发现了新的财产线索或认为法院执行行为存在违法，可以先向法院提出执行异议；如果仅是发现原被执行人或追加的股东有可供执行的财产，则可以直接向法院申请恢复执行。

总结来说，以追加股东为被执行人的情况下，并非必须先终本再提执行异议或恢复执行。而是应根据具体情况，如被执行人的财产状况、执行进度等，来决定后续步骤。如果申请人有任何疑问或需要进一步的法律帮助，可以直接向我咨询，我会根据具体情况提供专业的法律建议。