追加股东执行异议之诉确实存在一审、二审及再审程序。以下是对这一问题的详细分析：

一、一审程序

在追加股东执行异议之诉中，一审程序是诉讼的起始阶段。当申请执行人认为被执行人的股东存在应当被追加为被执行人的情形时（如出资不实、抽逃出资等），可以向执行法院提起追加股东为被执行人的申请。若该申请被执行法院驳回，申请执行人则有权向执行法院提起执行异议之诉，即一审程序。在此程序中，法院将审查申请执行人提出的追加理由是否成立，并作出相应的判决。

二、二审程序

若一审判决后，任何一方当事人对判决结果不服，均有权在法定期限内向上一级法院提起上诉，从而进入二审程序。二审法院将对一审判决进行全面审查，包括事实认定和法律适用等方面。若二审法院认为一审判决存在错误，将依法进行改判或撤销原判、发回重审。

三、再审程序

再审程序是针对已生效判决的特殊救济程序。若当事人认为生效判决存在法定再审事由（如新证据出现、原判决适用法律错误等），可以向法院申请再审。再审程序旨在纠正已生效判决中的错误，保障当事人的合法权益。在追加股东执行异议之诉中，若当事人认为生效判决存在错误，同样可以申请再审。

法律依据与程序要点

1. 法律依据：追加股东执行异议之诉的程序主要依据《中华人民共和国民事诉讼法》及其相关司法解释，特别是《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》等规范性文件。

2. 程序要点：

   • 法定原则：执行程序中追加股东为被执行人应坚持法定原则，追加的事由须符合相关法律规定。
   • 区分原则：追加股东为被执行人的执行异议之诉案件应当与根据《中华人民共和国公司法》及其司法解释的规定主张股东承担责任的普通民事案件相区分。
   • 举证责任：在追加股东执行异议之诉中，申请执行人需承担举证责任，证明股东存在应当被追加为被执行人的情形。

实务建议

1. 充分准备证据：在提起追加股东执行异议之诉前，申请执行人应充分准备证据，证明股东存在出资不实、抽逃出资等应当被追加为被执行人的情形。

2. 注意程序时限：当事人应严格遵守诉讼程序中的时限规定，如上诉期、申请再审期等，以免丧失救济权利。

3. 寻求专业法律帮助：由于追加股东执行异议之诉涉及复杂的法律问题和程序要求，当事人可以寻求专业律师的帮助，以确保诉讼的顺利进行和合法权益的保障。

如有任何进一步疑问或需要法律帮助，请直接向我咨询。