Declarada judicialmente la nulidad del pacto sucesorio y del testamento en relación con la herencia de los padres de los litigantes como quiera que el pronunciamiento de «traer a la masa hereditaria» constituye un postulado genérico, no procede la ejecución de la resolución judicial en sí, sino que se ha de instar la partición de la herencia en la forma prevenida en la LEC.