Re: [firedrake] possible lazy evaluation issue?