在执行程序中追加一人有限公司股东为被执行人，确实通常以公司财产不足以清偿债务为前提。以下是对这一问题的详细分析：
一、法律依据
根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第二十条：“作为被执行人的一人有限责任公司，财产不足以清偿生效法律文书确定的债务，股东不能证明公司财产独立于自己的财产，申请执行人申请变更、追加该股东为被执行人，对公司债务承担连带责任的，人民法院应予支持。”这一条款明确规定了追加一人有限公司股东为被执行人的条件。
二、追加条件
公司财产不足以清偿债务：
- 这是追加股东为被执行人的前提条件。在执行程序中，需通过法院的执行措施确认一人公司的财产无法完全清偿生效法律文书所确定的债务。
- 例如，若公司账户余额、固定资产等均不足以支付债务，且经法院穷尽执行措施后仍无法清偿，则满足这一条件。
股东不能证明公司财产独立于自己的财产：
- 股东需承担举证责任，证明其个人财产与公司财产相互独立。若股东无法提供充分证据证明财产独立，则将被视为财产混同。
- 常见的混同情形包括：股东无偿使用公司资金或财产、股东用公司资金偿还个人债务、公司账簿与股东账簿不分等。
三、追加流程
提出申请：
- 债权人需向执行法院提交书面申请，请求追加一人公司的股东为被执行人。
- 申请中需提供初步证据，证明公司财产不足以清偿债务及股东财产与公司财产存在混同的可能性。
立案审查：
- 执行法院对债权人的申请进行立案审查，要求债权人提供必要的证据材料。
举证责任倒置：
- 在案件审理过程中，实行举证责任倒置原则，即由股东承担证明其个人财产与公司财产独立的举证责任。
作出裁定：
- 法院根据双方提供的证据和辩论情况，依法作出是否追加股东的裁定。如裁定追加，则股东需对公司债务承担连带责任。
四、注意事项
及时申请：
- 债权人应在执行程序中及时向执行法院提出追加申请，避免错过最佳时机。
充分准备证据：
- 债权人应尽可能收集能够证明公司财产不足以清偿债务及股东财产与公司财产混同的证据材料。
关注诉讼时效：
- 虽然追加被执行人不属于严格意义上的诉讼行为，但债权人仍应注意在法律规定的期限内行使权利。
五、特殊情况说明
- 若股东能够证明公司财产独立于自己的财产，则即使公司财产不足以清偿债务，股东也不需对公司债务承担连带责任。
- 在某些特殊情况下，如股东滥用公司法人独立地位和股东有限责任逃避债务、严重损害债权人利益时，法院也可能根据《公司法》的相关规定追加股东为被执行人。但此类情形需结合具体案件事实进行判断。
综上所述，追加一人有限公司股东为被执行人确实通常以公司财产不足以清偿债务为前提。若您在此过程中遇到任何问题或需要进一步的法律帮助，请直接向我咨询。