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