@Stéphane: you can define welfare recursively, but it will not work with Ramsey or discretionary policy, which what the user is doing in [Discretionary policy). As written there, if you need to work with leads/lags in the objective, you may have to work with auxiliary variables.
1 Like