Precisamente por serem redundantes acabam por não ter reflexo na decisão recorrida que se bastava com os pedidos formulados, de declaração de ineficácia dos actos de execução indevida e de ampliação da instância, por um lado, e com a pronúncia efectuada pelo Réu e pela Contrainteressada sobre estes pedidos, por outro lado.