take increment length from bounds (not counters)
strengthen increment test