Donde tal como alegámos na resposta, ao celebrar o auto, o devedor não esteja necessariamente investido num crédito do imposto constituído pela diferença entre o valor atribuído ao bem dado em pagamento e o valor da dívida exequenda e respectivos acrescidos.