E se o primeiro pode ter lugar no processo em que se invoca a compensação, já o segundo não pode ter lugar nos presentes autos, pois quando o contracrédito é invocado já tem de estar declarado, ou seja, deve ser "exigível”.