在执行异议中未提出超额查封，可以在执行异议之诉中提出。以下是对此问题的详细分析：

一. 执行异议与执行异议之诉的区别与联系

1. 执行异议：是在执行过程中，当事人或利害关系人认为执行行为违反法律规定，向负责执行的人民法院提出书面异议，要求纠正执行行为的制度。
2. 执行异议之诉：则是在执行异议被驳回后，当事人或利害关系人不服，向人民法院提起的诉讼，以解决执行过程中发生的实体权利义务争议。

• 例如，甲在执行过程中认为法院超额查封了其财产，他可以先提出执行异议。如果异议被驳回，甲可以进一步提起执行异议之诉，在诉讼中主张其超额查封的权益。

二. 超额查封在执行异议之诉中的提出

1. 法律依据：根据《民事诉讼法》的相关规定，当事人或利害关系人对执行行为有异议的，可以提出执行异议。而执行异议之诉则是执行异议的后续救济程序，用于解决执行过程中的实体争议。
2. 提出时机：虽然超额查封可以在执行异议中提出，但如果当事人在执行异议中未提出，他仍然有权在执行异议之诉中提出。因为执行异议之诉是对执行异议的进一步审理，当事人可以在诉讼中全面阐述其主张和理由。
3. 法院审理：在执行异议之诉中，法院会对当事人的主张进行全面审理，包括超额查封等实体争议。如果法院认为超额查封确实存在，会依法作出相应裁判，纠正执行行为。

综上所述，在执行异议中未提出超额查封，并不妨碍当事人在执行异议之诉中提出该主张。因为执行异议之诉是对执行异议的进一步救济程序，当事人可以在诉讼中全面阐述其主张和理由，包括超额查封等实体争议。如有进一步需要，您可以继续咨询我。