追加变更被执行人执行异议之诉案由并非选择性案由，而是特定情形下的法定案由。以下是对此问题的详细分析：

一、案由的法定性

追加变更被执行人执行异议之诉案由是依据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》（以下简称《执行中变更、追加当事人规定》）而设立的。该规定明确了在何种情况下，申请执行人或被申请人可以提起执行异议之诉，以及该诉讼的管辖法院、诉讼程序等。因此，这一案由并非可以随意选择的，而是由法律明确规定的。

二、适用情形

根据《执行中变更、追加当事人规定》第32条第1款，被申请人或申请人对执行法院依据该规定第十四条第二款、第十七条至第二十一条规定作出的变更、追加裁定或驳回申请裁定不服的，可以自裁定书送达之日起十五日内，向执行法院提起执行异议之诉。这六种情况具体包括：

1. 作为被执行人的有限合伙企业，财产不足以清偿生效法律文书确定的债务，申请执行人申请变更、追加未按期足额缴纳出资的有限合伙人为被执行人，在未足额缴纳出资的范围内承担责任的；
2. 作为被执行人的营利法人，财产不足以清偿生效法律文书确定的债务，申请执行人申请变更、追加未缴纳或未足额缴纳出资的股东、出资人或依公司法规定对该出资承担连带责任的发起人为被执行人，在尚未缴纳出资的范围内依法承担责任的；
3. 作为被执行人的营利法人，财产不足以清偿生效法律文书确定的债务，申请执行人申请变更、追加抽逃出资的股东、出资人为被执行人在抽逃出资的范围内承担责任的；
4. 作为被执行人的公司，财产不足以清偿生效法律文书确定的债务，其股东未依法履行出资义务即转让股权，申请执行人申请变更、追加该原股东或依《公司法》规定对该出资承担连带责任的发起人为被执行人在未依法出资的范围内承担责任的；
5. 作为被执行人的一人有限责任公司，财产不足以清偿生效法律文书确定的债务，股东不能证明公司财产独立于自己的财产，申请执行人申请变更、追加该股东为被执行人对公司债务承担连带责任的；
6. 作为被执行人的公司，未经清算即办理注销登记，导致公司无法进行清算，申请执行人申请变更、追加有限责任公司的股东、股份有限公司的董事和控股股东为被执行人对公司债务承担连带清偿责任的。

三、救济机制的选择

针对法院所作出的是否追加、变更执行程序当事人的裁定，当事人有复议和执行异议之诉两种救济机制。但需要注意的是，这两种救济机制之间存在分工。根据《执行中变更、追加当事人规定》第30条，不服此类裁定的当事人，通常情况下只能通过向上级法院提出复议寻求救济，只有存在该规定第32条所列情况时，才可以提起执行异议之诉。这背后的考虑主要是提高争议解决效率，即只有在较为疑难复杂的情况中，才需要动用执行异议之诉这一实体化救济方式。

四、法律建议

1. 明确适用情形：在决定是否提起追加变更被执行人执行异议之诉时，应首先明确是否属于法律规定的适用情形。
2. 及时行使权利：如果符合提起执行异议之诉的条件，应在法定期限内及时向执行法院提起诉讼，以免丧失救济机会。
3. 准备充分证据：在提起诉讼时，应准备充分的证据来支持自己的主张，包括但不限于执行裁定书、相关证据材料等。

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