[firedrake] volume integration splitting