Acresce que, caso os embargos de executado sejam julgados improcedentes, por não se provar que a sentença foi cumprida, tornar-se-á necessário determinar o custo da prestação de facto por outrem que tem naturalmente implícita a determinação dos trabalhos necessários para reparar as anomalias provadas na sentença.