A tramitação subsequente vem prevista no artigo 87 do Código de Processo Civil, nos termos que se transcrevem:  1 — Se o juiz reconhecer a falta de cumprimento da obrigação, ordena a demolição da obra à custa do executado e a indemnização do exequente, ou fixa apenas o montante desta última, quando não haja lugar à demolição.