[firedrake] Linear problems with zero right hand side