Impedia o tribunal a quo, por força do caso julgado formal, o proferimento de decisão contraditória no âmbito do mesmo processo e determinar improcedente a ação por considerar que a recorrente não carece de reconhecimento judicial do seu direito.