是的，执行异议之诉通常必须先提执行异议。以下是对这一问题的详细解释：
一、执行异议之诉与执行异议的关系
执行异议之诉，是当事人或者案外人对执行标的提出书面异议后，对人民法院就异议作出的裁定不服，进而向人民法院提起的诉讼。它旨在通过诉讼程序，对执行标的的实体权利归属进行审查，并作出最终裁决，以保护当事人或案外人的合法权益。而执行异议，则是这一诉讼程序的前置程序，是当事人或案外人向执行法院提出书面异议，请求法院对执行行为或执行标的进行审查并作出裁定的行为。
二、法律程序要求
根据《中华人民共和国民事诉讼法》及相关司法解释的规定，当事人或案外人对执行标的提出书面异议的，人民法院应当自收到书面异议之日起十五日内审查，理由成立的，裁定中止对该标的的执行；理由不成立的，裁定驳回。当事人或案外人对裁定不服的，可以自裁定送达之日起十五日内向人民法院提起执行异议之诉。这一规定明确了执行异议之诉的前置程序是执行异议，即必须先提出执行异议，对裁定不服后才能提起执行异议之诉。
三、实践意义
保障程序公正：要求先提执行异议，再提执行异议之诉，有助于保障诉讼程序的公正性和有序性。通过前置的执行异议程序，可以初步筛选和过滤掉一些无争议或明显不成立的异议，减少不必要的诉讼负担。
提高诉讼效率：前置的执行异议程序可以促使当事人或案外人在提起诉讼前，更加审慎地考虑自己的异议理由和证据，避免盲目提起诉讼。同时，也有助于法院在受理执行异议之诉前，对案件的基本情况和争议焦点有更清晰的了解，从而提高诉讼效率。
保护当事人权益：通过执行异议和执行异议之诉两个程序的衔接，可以更加全面地保护当事人或案外人的合法权益。在执行异议阶段，当事人或案外人可以提出自己的异议理由和证据；在执行异议之诉阶段，则可以通过诉讼程序对异议进行更加深入的审查和裁决。
四、特殊情况说明
虽然执行异议之诉通常必须先提执行异议，但也存在一些特殊情况。例如，在某些紧急情况下，为了保护当事人或案外人的合法权益，法院可能会允许直接提起执行异议之诉，而无需先提执行异议。然而，这种情况并不常见，且需要满足一定的条件。
建议：如果您对执行异议或执行异议之诉有任何疑问或需要进一步的法律帮助，请直接向我咨询。作为专业律师，我将根据您的具体情况，为您提供全面、准确的法律意见和帮助。