Sorry but that's nonsense. He was due to retire on Sunday with full benefits. On Friday he gets fired for politically motivated reasons costing him from your description immediately seven years of his pension. To describe that as "not vested" is pedantry. He wasn't fired due to normal due process or gross misconduct, he was fired on the day he was fired specifically to take away his pension. That was explicitly mocked by the POTUS with his "racing the clock" Tweet. To say he was fired to take away his pension is accurate.

Had he been fired on a Friday when he was going to retire that Sunday without the pension issue then that would have been fairly moot. What made this so malicious was the pension issue.