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