Depois, mesmo que se considerassem dispensáveis os requisitos de exequibilidade, como parte significativa da doutrina defende, o facto constitutivo do contracrédito do Executado não se mostradocumentalmente provado.