Para o caso, no entanto, não interessará tanto tomar posição a propósito de saber se e em que medida a sentença de verificação de créditos proferida por apenso ao processo de execução constitui ou não caso julgado formal, na dicotomia precedente à ulterior graduação de créditos, e na eficácia ou ineficácia extraprocessual que dessa qualificação emerge.