[mlpl][SmartTime] Clean up test_operatorMinusSubstResultMinus().