[firedrake] local discontinuity