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