Contudo, e por mera hipótese académica, ainda que se entenda que o n. 1 do artigo 1-E do CIRE compreende tanto as ações executivas como as ações declarativas, a ação declarativa do recorrente não deveria ter sido julgada extinta pelo Tribunal a quo, por inutilidade superveniente da lide.