[mlpl][SmartTime] Add a new operator: operator<=().