Why is there no `inefficient-state-variable-decrement` to detect the decrement case, similar to the `inefficient-state-variable-increment` case?