We should LKG so we can leverage the new control flow analyses introduced by https://github.com/microsoft/TypeScript/pull/44730.