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