`Sytem Time Offset` (RINEX 4) or `Time System Corr` (RINEX 3) are specified in RNX NAV files. We could add this as an additional parameter, to ease the PVT computation by having to estimate only a single clock offset (usually RX time to GPST).