[firedrake] possible lazy evaluation issue?