pub fn law_seq_overrides_timestamp_disagreement( seq_a: u64, ts_a: i64, seq_b: u64, ts_b: i64, ) -> bool