A questão que se coloca é a de saber se a dedução do pedido reconvencional é obrigatória nestas situações, estando o tribunal impedido de reconhecer a verificação desse facto extintivo, quando ele é alegado apenas como exceção perentória extintiva.