add failing loop counter asserts