#include "petscdmplex.h" #include "petscdmlabel.h" PetscErrorCode DMPlexStratifyMigrationSF(DM dm, PetscSF sf, PetscSF *migrationSF)