结论：在被执行人公司无可供执行财产的情况下，您可以选择不在执行程序中追加未出资股东，而是直接提起诉讼要求其承担相应责任。不过，具体选择哪种方式，需结合实际情况和法律程序来综合考量。

分析说明：

1. 执行程序追加股东：

   • 法律依据：根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》，在执行程序中，如果被执行人（公司）的财产不足以清偿生效法律文书确定的债务，且股东存在未缴纳或未足额缴纳出资等情形，申请执行人可以申请变更、追加该股东为被执行人，在尚未缴纳出资的范围内依法承担责任。
   • 程序特点：这种方式相对快捷，但需要满足一定的条件，如股东未履行出资义务等，且执行法院会对相关事实进行审查。

2. 直接提起诉讼：

   • 法律依据：根据《公司法》及相关司法解释，股东未履行或者未全面履行出资义务，公司或者其他股东可以请求其向公司依法全面履行出资义务，公司债权人也可以请求其在未出资本息范围内对公司债务不能清偿的部分承担补充赔偿责任。
   • 程序特点：直接提起诉讼可以更全面地审查股东未出资的事实和责任范围，但诉讼程序相对较长，且需要承担一定的诉讼成本。

法律建议：

• 评估证据和情况：在决定采取哪种方式前，建议您先评估手头的证据是否充分，以及股东未出资的具体情况（如未出资的金额、时间、原因等）。
• 考虑效率和成本：如果您希望尽快解决执行问题，且证据充分，可以考虑在执行程序中追加股东为被执行人。如果您希望更全面地审查股东的责任，或者执行程序追加股东的条件不满足，可以选择直接提起诉讼。
• 咨询专业律师：由于法律程序复杂且涉及专业判断，建议您在做出决定前咨询专业律师，以便更准确地评估风险和收益，并制定合适的法律策略。

后续行动与可能后果：

• 如果选择执行程序追加股东：您需要向执行法院提交书面申请，并提供相关证据证明股东未履行出资义务。执行法院将审查您的申请，并作出是否追加股东为被执行人的裁定。如果裁定追加，股东将在尚未缴纳出资的范围内承担责任。
• 如果选择直接提起诉讼：您需要准备起诉状和相关证据，向有管辖权的人民法院提起诉讼。法院将依法审理案件，并作出判决。如果判决股东承担责任，您可以依据判决书申请强制执行。

无论您选择哪种方式，都需要确保自己的权益得到充分保护。如果您有任何疑问或需要进一步的法律帮助，请随时向我咨询。