function updateSub(x, decrement) {
	  return x.write(sub(x.read(), decrement));
	}
Update the value of a Variable by subtracting a decrement.
@param x The Variable to be updated.
@param decrement The decrement to subtract from `x`.
@return The Variable updated.