It was caused by the bug that is fixed by https://github.com/firedrakeproject/firedrake/tree/projection_fix