Re: [firedrake] Debug and Optimised mode