U. Contudo, decidiu o Tribunal a quo analisar a questão da revogação da sentença, com reconhecimento da não inclusão dos créditos exequendos no PERSI e consequente extinção da execução por inexigibilidade da dívida.