Ao contrário do que é sustentado pelo Tribunal a quo, o qual entendeu que para que os embargos possam ser deduzidos com base no disposto na al. do art. 72 do CPC, o contracrédito invocado pelo executado tem de estar já reconhecido judicialmente, a recorrente pugna pela interpretação oposta, vertida também no citado Acórdão do Supremo Tribunal de Justiça'", no sentido de que para que o executado possa valer-se do disposto na al. do art. 72 do CPC, o contracrédito não necessita de estar reconhecido, judicialmente.