[mlpl][SmartTime] Add a new test: test_operatorSubst().