É incontestável que o contracrédito dos executados não está reconhecido judicialmente. Os executados propuseram uma acção com essa finalidade cfr. factos provados 3 e mas ainda não houve sentença cfr. facto provado.