Re: [firedrake] PETSc Segmentation Violation