Circular shift constraint

In reply to dave_59:

I should not see output like ‘10000001’ or ‘11000011’ or ‘01111110’