Code Editor : assert_logical_timestamps.inc