Added value verification on decrement operation