QCheck combinator
property tests for unit indexes (to debug)