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