Unless your pension match is $40k for the both of you, I'd just include the pension match as the savings for time being because the pension isn't paying out yet
Kind of like counting the match on 401k, you don't count the "growth" of the money already there as part of the savings rate, so why do you do count the rest of the pension as part of savings
IE if govt pays 11% and you pay 1%, then just count the 10% difference X salary for the savings rate
I don't know, I never really counted the pension as part of the savings rate itself, kind of like how people don't count social security into their savings rate, plus if someone wanted to retire early, in 30-40s, a pension wouldn't be much help because you can't draw on it, outside of retired military at the old age of 38 if they joined at 18