O tribunal devia sim ter decidido previamente se a sentença de anulação foi executada ou se existia causa legítima de inexecução, ao contrário do que parece estar pressuposto na sentença recorrida não existe aqui uma limitação ao princípio do pedido delimitado pelos actos e operações que o Autor considerou dever consistir a execução.