Added increment operators spec